--- a/doc-src/TutorialI/Inductive/document/Even.tex	Mon Jun 27 17:51:28 2011 +0200
+++ b/doc-src/TutorialI/Inductive/document/Even.tex	Mon Jun 27 22:20:49 2011 +0200
@@ -15,6 +15,19 @@
 %
 \endisadelimtheory
 %
+\isadelimML
+%
+\endisadelimML
+%
+\isatagML
+%
+\endisatagML
+{\isafoldML}%
+%
+\isadelimML
+%
+\endisadelimML
+%
 \isamarkupsection{The Set of Even Numbers%
 }
 \isamarkuptrue%