changeset 10878 | b254d5ad6dd4 |
parent 10538 | d1bf9ca9008d |
child 11196 | bb4ede27fcb7 |
--- 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}%