
diff -r 6417de2029b0 -r b254d5ad6dd4 doc-src/TutorialI/Types/document/Overloading1.tex
--- a/doc-src/TutorialI/Types/document/Overloading1.tex	Fri Jan 12 16:05:12 2001 +0100
+++ b/doc-src/TutorialI/Types/document/Overloading1.tex	Fri Jan 12 16:07:20 2001 +0100
@@ -2,7 +2,7 @@
 \begin{isabellebody}%
 \def\isabellecontext{Overloading{\isadigit{1}}}%
 %
-\isamarkupsubsubsection{Controlled overloading with type classes%
+\isamarkupsubsubsection{Controlled Overloading with Type Classes%
 }
 %
 \begin{isamarkuptext}%




