src/HOL/ex/Codegenerator.thy
changeset 19789 c08c9f9ea9a5
parent 19604 02f5fbdd5c54
child 19817 bb16bf9ae3fd
     1.1 --- a/src/HOL/ex/Codegenerator.thy	Tue Jun 06 14:57:13 2006 +0200
     1.2 +++ b/src/HOL/ex/Codegenerator.thy	Tue Jun 06 15:01:09 2006 +0200
     1.3 @@ -111,7 +111,7 @@
     1.4    "op = :: mut1 \<Rightarrow> mut1 \<Rightarrow> bool"
     1.5    "op = :: mut2 \<Rightarrow> mut2 \<Rightarrow> bool"
     1.6  
     1.7 -subsection {* heavy use of names *}
     1.8 +subsection {* heavy usage of names *}
     1.9  
    1.10  definition
    1.11    f :: nat