changeset 13791 | 3b6ff7ceaf27 |
parent 13778 | 61272514e3b5 |
child 15481 | fc075ae929e4 |
--- a/doc-src/TutorialI/Datatype/document/ABexpr.tex Wed Jan 29 11:02:08 2003 +0100 +++ b/doc-src/TutorialI/Datatype/document/ABexpr.tex Wed Jan 29 16:29:38 2003 +0100 @@ -110,8 +110,7 @@ The resulting 8 goals (one for each constructor) are proved in one fell swoop:% \end{isamarkuptxt}% \isamarkuptrue% -\isacommand{apply}\ simp{\isacharunderscore}all\isanewline -\isamarkupfalse% +\isacommand{apply}\ simp{\isacharunderscore}all\isamarkupfalse% \isamarkupfalse% % \begin{isamarkuptext}%