Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
small fix
authorhaftmann
Tue, 06 Jun 2006 15:01:09 +0200
changeset 19789 c08c9f9ea9a5
parent 19788 be3a84d22a58
child 19790 1c788c6974e8
small fix
src/HOL/ex/Codegenerator.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/Codegenerator.thy	Tue Jun 06 14:57:13 2006 +0200
+++ b/src/HOL/ex/Codegenerator.thy	Tue Jun 06 15:01:09 2006 +0200
@@ -111,7 +111,7 @@
   "op = :: mut1 \<Rightarrow> mut1 \<Rightarrow> bool"
   "op = :: mut2 \<Rightarrow> mut2 \<Rightarrow> bool"
 
-subsection {* heavy use of names *}
+subsection {* heavy usage of names *}
 
 definition
   f :: nat
isabelle