1.1 --- a/doc-src/TutorialI/Types/document/Overloading2.tex	Fri Nov 30 12:18:14 2001 +0100
     1.2 +++ b/doc-src/TutorialI/Types/document/Overloading2.tex	Fri Nov 30 17:55:13 2001 +0100
     1.3 @@ -26,7 +26,7 @@
     1.4  \begin{warn}
     1.5  A type constructor can be instantiated in only one way to
     1.6  a given type class.  For example, our two instantiations of \isa{list} must
     1.7 -reside in separate theories with disjoint scopes.\REMARK{Tobias, please check}
     1.8 +reside in separate theories with disjoint scopes.
     1.9  \end{warn}%
    1.10  \end{isamarkuptext}%
    1.11  \isamarkuptrue%