--- a/doc-src/TutorialI/Inductive/document/Even.tex Thu Mar 17 15:12:03 2005 +0100
+++ b/doc-src/TutorialI/Inductive/document/Even.tex Fri Mar 18 14:31:50 2005 +0100
@@ -103,12 +103,10 @@
\isamarkupfalse%
\isanewline
\isanewline
-\isanewline
\isamarkupfalse%
\isacommand{lemma}\ {\isacharbrackleft}iff{\isacharbrackright}{\isacharcolon}\ {\isachardoublequote}{\isacharparenleft}{\isacharparenleft}Suc\ {\isacharparenleft}Suc\ n{\isacharparenright}{\isacharparenright}\ {\isasymin}\ even{\isacharparenright}\ {\isacharequal}\ {\isacharparenleft}n\ {\isasymin}\ even{\isacharparenright}{\isachardoublequote}\isanewline
\isamarkupfalse%
\isanewline
-\isanewline
\isamarkupfalse%
\isacommand{end}\isanewline
\isanewline