1.1 --- a/src/HOL/Numeral.thy	Fri Oct 05 23:58:52 2001 +0200
     1.2 +++ b/src/HOL/Numeral.thy	Sat Oct 06 00:02:46 2001 +0200
     1.3 @@ -24,7 +24,7 @@
     1.4  
     1.5  syntax
     1.6    "_constify" :: "num => numeral"    ("_")
     1.7 -  "_Numeral" :: "numeral => 'a"    ("#_")
     1.8 +  "_Numeral" :: "numeral => 'a"    ("_")
     1.9    Numeral0 :: 'a
    1.10    Numeral1 :: 'a
    1.11