1.1 --- a/doc-src/TutorialI/Types/document/Overloading2.tex	Thu Jan 09 11:45:40 2003 +0100
     1.2 +++ b/doc-src/TutorialI/Types/document/Overloading2.tex	Wed Jan 15 16:43:12 2003 +0100
     1.3 @@ -53,7 +53,6 @@
     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: