changeset 38764 | e6a18808873c |
parent 38054 | acd48ef85bfc |
child 38797 | abe92b33ac9f |
--- a/src/HOL/ex/Numeral.thy Thu Aug 26 20:42:09 2010 +0200 +++ b/src/HOL/ex/Numeral.thy Thu Aug 26 21:04:22 2010 +0200 @@ -97,7 +97,7 @@ structure Dig_Simps = Named_Thms ( val name = "numeral" - val description = "Simplification rules for numerals" + val description = "simplification rules for numerals" ) *}