--- a/doc-src/TutorialI/Datatype/document/Nested.tex Mon Jun 23 15:26:47 2008 +0200
+++ b/doc-src/TutorialI/Datatype/document/Nested.tex Mon Jun 23 15:26:48 2008 +0200
@@ -89,7 +89,7 @@
%
\isatagproof
\isacommand{apply}\isamarkupfalse%
-{\isacharparenleft}induct{\isacharunderscore}tac\ t\ \isakeyword{and}\ ts\ rule{\isacharcolon}\ term{\isachardot}induct{\isacharcomma}\ simp{\isacharunderscore}all{\isacharparenright}\isanewline
+{\isacharparenleft}induct{\isacharunderscore}tac\ t\ \isakeyword{and}\ ts{\isacharcomma}\ simp{\isacharunderscore}all{\isacharparenright}\isanewline
\isacommand{done}\isamarkupfalse%
%
\endisatagproof