diff -r ab90e95ae02e -r b098158a3f39 doc-src/TutorialI/Recdef/document/simplification.tex
--- a/doc-src/TutorialI/Recdef/document/simplification.tex	Thu Mar 17 15:12:03 2005 +0100
+++ b/doc-src/TutorialI/Recdef/document/simplification.tex	Fri Mar 18 14:31:50 2005 +0100
@@ -96,7 +96,6 @@
 \isamarkupfalse%
 \isamarkupfalse%
 \isanewline
-\isanewline
 \isamarkupfalse%
 \isacommand{lemma}\ {\isacharbrackleft}simp{\isacharbrackright}{\isacharcolon}\ {\isachardoublequote}n\ {\isasymnoteq}\ {\isadigit{0}}\ {\isasymLongrightarrow}\ gcd{\isacharparenleft}m{\isacharcomma}\ n{\isacharparenright}\ {\isacharequal}\ gcd{\isacharparenleft}n{\isacharcomma}\ m\ mod\ n{\isacharparenright}{\isachardoublequote}\isanewline
 \isamarkupfalse%