--- a/doc-src/TutorialI/Types/document/Overloading2.tex Tue May 01 17:16:32 2001 +0200
+++ b/doc-src/TutorialI/Types/document/Overloading2.tex Tue May 01 22:26:55 2001 +0200
@@ -36,8 +36,8 @@
\end{tabular}
\end{center}
And analogously for \isa{{\isacharless}} instead of \isa{{\isasymle}}.
-The form on the left is translated into the one on the right upon input but it is not
-translated back upon output.%
+The form on the left is translated into the one on the right upon input.
+For technical reasons, it is not translated back upon output.%
\end{isamarkuptext}%
\end{isabellebody}%
%%% Local Variables: