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

--- a/doc-src/TutorialI/Types/document/Overloading.tex	Sun Jan 30 20:48:50 2005 +0100
+++ b/doc-src/TutorialI/Types/document/Overloading.tex	Tue Feb 01 18:01:57 2005 +0100
@@ -4,7 +4,7 @@
 \isamarkupfalse%
 \isacommand{instance}\ list\ {\isacharcolon}{\isacharcolon}\ {\isacharparenleft}type{\isacharparenright}ordrel\isanewline
 \isamarkupfalse%
-\isacommand{by}\ intro{\isacharunderscore}classes\isamarkupfalse%
+\isamarkupfalse%
 %
 \begin{isamarkuptext}%
 \noindent