doc-src/TutorialI/Types/document/Overloading1.tex

--- a/doc-src/TutorialI/Types/document/Overloading1.tex	Sat Nov 04 18:44:34 2000 +0100
+++ b/doc-src/TutorialI/Types/document/Overloading1.tex	Sat Nov 04 18:54:22 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