fixed omission
authorhaftmann
Sun May 13 18:15:24 2007 +0200 (2007-05-13)
changeset 22949997cef733bdd
parent 22948 8752ca7f849a
child 22950 8b6d28fc6532
fixed omission
src/HOL/Library/Pretty_Int.thy
     1.1 --- a/src/HOL/Library/Pretty_Int.thy	Sun May 13 18:15:23 2007 +0200
     1.2 +++ b/src/HOL/Library/Pretty_Int.thy	Sun May 13 18:15:24 2007 +0200
     1.3 @@ -20,6 +20,9 @@
     1.4    (OCaml "Big'_int.big'_int")
     1.5    (Haskell "Integer")
     1.6  
     1.7 +code_instance int :: eq
     1.8 +  (Haskell -)
     1.9 +
    1.10  setup {*
    1.11    fold (fn target => CodegenSerializer.add_pretty_numeral target
    1.12      (@{const_name number_of}, @{typ "int \<Rightarrow> int"})