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