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