diff -r a8561998cea7 -r a019d6568a3c doc-src/IsarAdvanced/Classes/Thy/Classes.thy
--- a/doc-src/IsarAdvanced/Classes/Thy/Classes.thy	Tue Jul 08 21:55:41 2008 +0200
+++ b/doc-src/IsarAdvanced/Classes/Thy/Classes.thy	Tue Jul 08 22:02:15 2008 +0200
@@ -67,7 +67,7 @@
   \hspace*{4ex}@{text "less_eq \<Colon> \<alpha> \<Rightarrow> \<alpha> \<Rightarrow> bool"} \\
   \hspace*{4ex}@{text "less \<Colon> \<alpha> \<Rightarrow> \<alpha> \<Rightarrow> bool"}
 
-  \medskip\noindent Type variables are annotated with (finitly many) classes;
+  \medskip\noindent Type variables are annotated with (finitely many) classes;
   these annotations are assertions that a particular polymorphic type
   provides definitions for overloaded functions.