diff -r 1a4b471b1afa -r ba52fdc2c4e8 doc-src/TutorialI/Ifexpr/document/Ifexpr.tex
--- a/doc-src/TutorialI/Ifexpr/document/Ifexpr.tex	Tue Oct 12 16:59:56 2004 +0200
+++ b/doc-src/TutorialI/Ifexpr/document/Ifexpr.tex	Tue Oct 12 17:00:39 2004 +0200
@@ -213,6 +213,24 @@
 \end{isamarkuptext}%
 \isamarkuptrue%
 \isamarkupfalse%
+\isamarkupfalse%
+\isamarkupfalse%
+\isamarkupfalse%
+\isamarkupfalse%
+\isamarkupfalse%
+\isamarkupfalse%
+\isamarkupfalse%
+\isamarkupfalse%
+\isamarkupfalse%
+\isamarkupfalse%
+\isamarkupfalse%
+\isamarkupfalse%
+\isamarkupfalse%
+\isamarkupfalse%
+\isamarkupfalse%
+\isamarkupfalse%
+\isamarkupfalse%
+\isamarkupfalse%
 \end{isabellebody}%
 %%% Local Variables:
 %%% mode: latex