doc-src/TutorialI/Types/document/Overloading2.tex

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