changeset 10878 | b254d5ad6dd4 |
parent 10397 | e2d0dda41f2c |
child 11161 | 166f7d87b37f |
--- 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}%