| changeset 16069 | 3f2a9f400168 |
| parent 15614 | b098158a3f39 |
| child 17056 | 05fc32a23b8b |
--- a/doc-src/TutorialI/Misc/document/Tree2.tex Wed May 25 09:03:53 2005 +0200 +++ b/doc-src/TutorialI/Misc/document/Tree2.tex Wed May 25 09:04:24 2005 +0200 @@ -20,10 +20,8 @@ \isamarkuptrue% \isamarkupfalse% \isamarkupfalse% -\isanewline \isamarkupfalse% \isacommand{lemma}\ {\isachardoublequote}flatten{\isadigit{2}}\ t\ {\isacharbrackleft}{\isacharbrackright}\ {\isacharequal}\ flatten\ t{\isachardoublequote}\isamarkupfalse% -\isanewline \isamarkupfalse% \isamarkupfalse% \end{isabellebody}%