changeset 10397 | e2d0dda41f2c |
parent 10396 | 5ab08609e6c8 |
child 10878 | b254d5ad6dd4 |
--- a/doc-src/TutorialI/Types/document/Overloading1.tex Mon Nov 06 11:32:23 2000 +0100 +++ b/doc-src/TutorialI/Types/document/Overloading1.tex Mon Nov 06 16:41:39 2000 +0100 @@ -2,7 +2,8 @@ \begin{isabellebody}% \def\isabellecontext{Overloading{\isadigit{1}}}% % -\isamarkupsubsubsection{Controlled overloading with type classes} +\isamarkupsubsubsection{Controlled overloading with type classes% +} % \begin{isamarkuptext}% We now start with the theory of ordering relations, which we want to phrase