--- a/doc-src/TutorialI/Types/document/Overloading2.tex Thu Jun 09 12:04:53 2005 +0200
+++ b/doc-src/TutorialI/Types/document/Overloading2.tex Thu Jun 09 12:06:38 2005 +0200
@@ -12,6 +12,7 @@
\isamarkuptrue%
\isacommand{instance}\ list\ {\isacharcolon}{\isacharcolon}\ {\isacharparenleft}ordrel{\isacharparenright}ordrel\isanewline
\isamarkupfalse%
+\isacommand{by}\ intro{\isacharunderscore}classes\isanewline
\isanewline
\isamarkupfalse%
\isacommand{defs}\ {\isacharparenleft}\isakeyword{overloaded}{\isacharparenright}\isanewline