--- a/doc-src/TutorialI/Types/document/Overloading1.tex Tue Feb 20 11:27:04 2001 +0100
+++ b/doc-src/TutorialI/Types/document/Overloading1.tex Tue Feb 20 13:23:58 2001 +0100
@@ -48,7 +48,7 @@
More interesting \isacommand{instance} proofs will arise below
in the context of proper axiomatic type classes.
-Althoug terms like \isa{False\ {\isacharless}{\isacharless}{\isacharequal}\ P} are now legal, we still need to say
+Although terms like \isa{False\ {\isacharless}{\isacharless}{\isacharequal}\ P} are now legal, we still need to say
what the relation symbols actually mean at type \isa{bool}:%
\end{isamarkuptext}%
\isacommand{defs}\ {\isacharparenleft}\isakeyword{overloaded}{\isacharparenright}\isanewline