changeset 17181 | 5f42dd5e6570 |
parent 17175 | 1eced27ee0e1 |
child 17187 | 45bee2f6e61f |
--- a/doc-src/TutorialI/Recdef/document/Induction.tex Mon Aug 29 10:28:17 2005 +0200 +++ b/doc-src/TutorialI/Recdef/document/Induction.tex Mon Aug 29 11:44:23 2005 +0200 @@ -1,13 +1,13 @@ % \begin{isabellebody}% \def\isabellecontext{Induction}% +\isamarkupfalse% % \isadelimtheory % \endisadelimtheory % \isatagtheory -\isamarkupfalse% % \endisatagtheory {\isafoldtheory}% @@ -108,7 +108,6 @@ \endisadelimtheory % \isatagtheory -\isamarkupfalse% % \endisatagtheory {\isafoldtheory}%