diff -r 6417de2029b0 -r b254d5ad6dd4 doc-src/TutorialI/Types/document/Overloading0.tex --- a/doc-src/TutorialI/Types/document/Overloading0.tex Fri Jan 12 16:05:12 2001 +0100 +++ b/doc-src/TutorialI/Types/document/Overloading0.tex Fri Jan 12 16:07:20 2001 +0100 @@ -8,7 +8,7 @@ constant may have multiple definitions at non-overlapping types.% \end{isamarkuptext}% % -\isamarkupsubsubsection{An initial example% +\isamarkupsubsubsection{An Initial Example% } % \begin{isamarkuptext}%