changeset 17187 | 45bee2f6e61f |
parent 17181 | 5f42dd5e6570 |
--- a/doc-src/TutorialI/Types/document/Overloading0.tex Mon Aug 29 16:18:07 2005 +0200 +++ b/doc-src/TutorialI/Types/document/Overloading0.tex Mon Aug 29 16:25:24 2005 +0200 @@ -1,7 +1,6 @@ % \begin{isabellebody}% \def\isabellecontext{Overloading{\isadigit{0}}}% -\isamarkupfalse% % \isadelimtheory %