--- a/doc-src/TutorialI/Recdef/document/Nested2.tex Thu Mar 17 15:12:03 2005 +0100
+++ b/doc-src/TutorialI/Recdef/document/Nested2.tex Fri Mar 18 14:31:50 2005 +0100
@@ -5,6 +5,7 @@
\isamarkupfalse%
\isacommand{lemma}\ {\isacharbrackleft}simp{\isacharbrackright}{\isacharcolon}\ {\isachardoublequote}t\ {\isasymin}\ set\ ts\ {\isasymlongrightarrow}\ size\ t\ {\isacharless}\ Suc{\isacharparenleft}term{\isacharunderscore}list{\isacharunderscore}size\ ts{\isacharparenright}{\isachardoublequote}\isanewline
\isamarkupfalse%
+\isanewline
\isamarkupfalse%
\isamarkupfalse%
%