changeset 13778 | 61272514e3b5 |
parent 13758 | ee898d32de21 |
child 13791 | 3b6ff7ceaf27 |
--- a/doc-src/TutorialI/Recdef/document/simplification.tex Thu Jan 09 11:45:40 2003 +0100 +++ b/doc-src/TutorialI/Recdef/document/simplification.tex Wed Jan 15 16:43:12 2003 +0100 @@ -112,8 +112,8 @@ \end{isamarkuptext}% \isamarkuptrue% \isacommand{declare}\ gcd{\isachardot}simps\ {\isacharbrackleft}simp\ del{\isacharbrackright}\isanewline +\isanewline \isamarkupfalse% -\isanewline \isamarkupfalse% \end{isabellebody}% %%% Local Variables: