# HG changeset patch
# User huffman
# Date 1120785178 -7200
# Node ID c32334d98fcdb84345395a4f60bce11d4c76fce9
# Parent  b8bfd086f7d4351df9a5f159dcd6f7889b55a674
fix typo

diff -r b8bfd086f7d4 -r c32334d98fcd src/HOLCF/Fixrec.thy
--- 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"