changeset 13758 | ee898d32de21 |
parent 11866 | fbd097aec213 |
child 13778 | 61272514e3b5 |
--- a/doc-src/TutorialI/Recdef/document/Induction.tex Tue Dec 17 11:04:58 2002 +0100 +++ b/doc-src/TutorialI/Recdef/document/Induction.tex Tue Dec 17 11:05:41 2002 +0100 @@ -76,6 +76,7 @@ holds for the tail of that list.% \end{isamarkuptext}% \isamarkuptrue% +\isanewline \isamarkupfalse% \end{isabellebody}% %%% Local Variables: