1.1 --- a/doc-src/TutorialI/Types/document/Overloading2.tex	Fri Dec 13 14:20:47 2002 +0100
     1.2 +++ b/doc-src/TutorialI/Types/document/Overloading2.tex	Fri Dec 13 16:48:20 2002 +0100
     1.3 @@ -53,6 +53,7 @@
     1.4  For technical reasons, it is not translated back upon output.%
     1.5  \end{isamarkuptext}%
     1.6  \isamarkuptrue%
     1.7 +\isanewline
     1.8  \isamarkupfalse%
     1.9  \end{isabellebody}%
    1.10  %%% Local Variables: