--- a/doc-src/TutorialI/Recdef/document/Nested0.tex Tue Dec 17 11:04:58 2002 +0100
+++ b/doc-src/TutorialI/Recdef/document/Nested0.tex Tue Dec 17 11:05:41 2002 +0100
@@ -23,6 +23,7 @@
\end{isamarkuptext}%
\isamarkuptrue%
\isacommand{consts}\ trev\ \ {\isacharcolon}{\isacharcolon}\ {\isachardoublequote}{\isacharparenleft}{\isacharprime}a{\isacharcomma}{\isacharprime}b{\isacharparenright}term\ {\isasymRightarrow}\ {\isacharparenleft}{\isacharprime}a{\isacharcomma}{\isacharprime}b{\isacharparenright}term{\isachardoublequote}\isamarkupfalse%
+\isanewline
\isamarkupfalse%
\end{isabellebody}%
%%% Local Variables: