--- 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