--- a/doc-src/TutorialI/Trie/document/Trie.tex Thu Mar 17 15:12:03 2005 +0100
+++ b/doc-src/TutorialI/Trie/document/Trie.tex Fri Mar 18 14:31:50 2005 +0100
@@ -158,16 +158,28 @@
\isamarkupfalse%
\isamarkupfalse%
\isamarkupfalse%
+\isanewline
+\isanewline
+\isanewline
+\isanewline
\isamarkupfalse%
\isamarkupfalse%
\isamarkupfalse%
\isamarkupfalse%
\isamarkupfalse%
\isamarkupfalse%
+\isanewline
+\isamarkupfalse%
+\isamarkupfalse%
\isamarkupfalse%
\isamarkupfalse%
\isamarkupfalse%
\isamarkupfalse%
+\isanewline
+\isanewline
+\isanewline
+\isamarkupfalse%
+\isamarkupfalse%
\isamarkupfalse%
\isamarkupfalse%
\isamarkupfalse%
@@ -176,16 +188,14 @@
\isamarkupfalse%
\isamarkupfalse%
\isamarkupfalse%
+\isanewline
\isamarkupfalse%
\isamarkupfalse%
\isamarkupfalse%
\isamarkupfalse%
\isamarkupfalse%
\isamarkupfalse%
-\isamarkupfalse%
-\isamarkupfalse%
-\isamarkupfalse%
-\isamarkupfalse%
+\isanewline
\isamarkupfalse%
\isamarkupfalse%
\end{isabellebody}%