doc-src/TutorialI/Misc/document/Itrev.tex

--- a/doc-src/TutorialI/Misc/document/Itrev.tex	Sat Apr 16 12:46:18 2011 +0200
+++ b/doc-src/TutorialI/Misc/document/Itrev.tex	Sat Apr 16 13:48:45 2011 +0200
@@ -15,19 +15,6 @@
 %
 \endisadelimtheory
 %
-\isadelimML
-%
-\endisadelimML
-%
-\isatagML
-%
-\endisatagML
-{\isafoldML}%
-%
-\isadelimML
-%
-\endisadelimML
-%
 \isamarkupsection{Induction Heuristics%
 }
 \isamarkuptrue%
@@ -216,19 +203,6 @@
 \end{isamarkuptext}%
 \isamarkuptrue%
 %
-\isadelimML
-%
-\endisadelimML
-%
-\isatagML
-%
-\endisatagML
-{\isafoldML}%
-%
-\isadelimML
-%
-\endisadelimML
-%
 \isadelimtheory
 %
 \endisadelimtheory