# HG changeset patch
# User haftmann
# Date 1149598869 -7200
# Node ID c08c9f9ea9a5825e6ee06c1f15c14bfbe5b303ba
# Parent  be3a84d22a5849d21bd84fb09be4495a5b8ed1bf
small fix

diff -r be3a84d22a58 -r c08c9f9ea9a5 src/HOL/ex/Codegenerator.thy
--- 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