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.
clarifed comment
authorhaftmann
Wed, 13 Dec 2006 20:38:18 +0100
changeset 21834 770ce948a59b
parent 21833 b6e4c5578c8e
child 21835 84fd5de0691c
clarifed comment
src/HOL/Integ/Numeral.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Integ/Numeral.thy	Wed Dec 13 20:38:17 2006 +0100
+++ b/src/HOL/Integ/Numeral.thy	Wed Dec 13 20:38:18 2006 +0100
@@ -24,7 +24,7 @@
 *}
 
 text{*
-  This datatype avoids the use of type @{typ bool}, which would make
+  This type avoids the use of type @{typ bool}, which would make
   all of the rewrite rules higher-order.
 *}
isabelle