--- a/doc-src/TutorialI/Types/Overloading1.thy Tue Feb 20 11:27:04 2001 +0100
+++ b/doc-src/TutorialI/Types/Overloading1.thy Tue Feb 20 13:23:58 2001 +0100
@@ -50,7 +50,7 @@
More interesting \isacommand{instance} proofs will arise below
in the context of proper axiomatic type classes.
-Althoug terms like @{prop"False <<= P"} are now legal, we still need to say
+Although terms like @{prop"False <<= P"} are now legal, we still need to say
what the relation symbols actually mean at type @{typ bool}:
*}