--- a/doc-src/TutorialI/Types/document/Overloading2.tex Sun Jan 30 20:48:50 2005 +0100
+++ b/doc-src/TutorialI/Types/document/Overloading2.tex Tue Feb 01 18:01:57 2005 +0100
@@ -12,7 +12,7 @@
\isamarkuptrue%
\isacommand{instance}\ list\ {\isacharcolon}{\isacharcolon}\ {\isacharparenleft}ordrel{\isacharparenright}ordrel\isanewline
\isamarkupfalse%
-\isacommand{by}\ intro{\isacharunderscore}classes\isanewline
+\isanewline
\isanewline
\isamarkupfalse%
\isacommand{defs}\ {\isacharparenleft}\isakeyword{overloaded}{\isacharparenright}\isanewline