# HG changeset patch
# User haftmann
# Date 1166038698 -3600
# Node ID 770ce948a59b5700fc566a9727b198603d254ef9
# Parent  b6e4c5578c8ec711d0910afaf35c7ec793034f30
clarifed comment

diff -r b6e4c5578c8e -r 770ce948a59b src/HOL/Integ/Numeral.thy
--- 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.
 *}