--- a/src/HOLCF/Fixrec.thy Fri Jul 08 03:09:32 2005 +0200
+++ b/src/HOLCF/Fixrec.thy Fri Jul 08 03:12:58 2005 +0200
@@ -215,7 +215,7 @@
val ssubst_lhs = thm "ssubst_lhs";
*}
-subsection {* Intitializing the fixrec package *}
+subsection {* Initializing the fixrec package *}
use "fixrec_package.ML"