src/HOL/Library/Pretty_Int.thy
changeset 24423 ae9cd0e92423
parent 24219 e558fe311376
child 24630 351a308ab58d
     1.1 --- a/src/HOL/Library/Pretty_Int.thy	Fri Aug 24 14:14:18 2007 +0200
     1.2 +++ b/src/HOL/Library/Pretty_Int.thy	Fri Aug 24 14:14:20 2007 +0200
     1.3 @@ -25,7 +25,7 @@
     1.4  
     1.5  setup {*
     1.6    fold (fn target => CodeTarget.add_pretty_numeral target true
     1.7 -    (@{const_name number_of}, @{typ "int \<Rightarrow> int"})
     1.8 +    @{const_name number_int_inst.number_of_int}
     1.9      @{const_name Numeral.B0} @{const_name Numeral.B1}
    1.10      @{const_name Numeral.Pls} @{const_name Numeral.Min}
    1.11      @{const_name Numeral.Bit}