Work on Marpa book

jeffreykegler · Mar 5, 2016 · 1723123 · 1723123
1 parent fcda6bd
commit 1723123
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/recce.ltx b/recce.ltx
@@ -5951,17 +5951,13 @@ ASM for case of step.
 $\var{x} = \var{n}$
 \becuz{}
 \eqref{eq:iterated-null-scan-op-24}.
-}
-\intertext{%
-Recalling that the assumption for the step
-was
-}
+} \\
 \label{eq:iterated-null-scan-op-28}
 & \myparbox{%
 \eqref{eq:iterated-null-scan-op-10} for
 $\var{x} = \var{n}$
 \becuz{}
-ASM for step.
+\eqref{eq:iterated-null-scan-op-11-2}.
 } \\
 \label{eq:iterated-null-scan-op-30}
 & \myparbox{%