src/HOLCF/Fixrec.thy
changeset 16758 c32334d98fcd
parent 16754 1b979f8b7e8e
child 16776 a3899ac14a1c
--- 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"