fix typo
authorhuffman
Fri Jul 08 03:12:58 2005 +0200 (2005-07-08)
changeset 16758c32334d98fcd
parent 16757 b8bfd086f7d4
child 16759 668e72b1c4d7
fix typo
src/HOLCF/Fixrec.thy
     1.1 --- a/src/HOLCF/Fixrec.thy	Fri Jul 08 03:09:32 2005 +0200
     1.2 +++ b/src/HOLCF/Fixrec.thy	Fri Jul 08 03:12:58 2005 +0200
     1.3 @@ -215,7 +215,7 @@
     1.4  val ssubst_lhs = thm "ssubst_lhs";
     1.5  *}
     1.6  
     1.7 -subsection {* Intitializing the fixrec package *}
     1.8 +subsection {* Initializing the fixrec package *}
     1.9  
    1.10  use "fixrec_package.ML"
    1.11