Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed omission
authorhaftmann
Sun, 13 May 2007 18:15:24 +0200
changeset 22949 997cef733bdd
parent 22948 8752ca7f849a
child 22950 8b6d28fc6532
fixed omission
src/HOL/Library/Pretty_Int.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Pretty_Int.thy	Sun May 13 18:15:23 2007 +0200
+++ b/src/HOL/Library/Pretty_Int.thy	Sun May 13 18:15:24 2007 +0200
@@ -20,6 +20,9 @@
   (OCaml "Big'_int.big'_int")
   (Haskell "Integer")
 
+code_instance int :: eq
+  (Haskell -)
+
 setup {*
   fold (fn target => CodegenSerializer.add_pretty_numeral target
     (@{const_name number_of}, @{typ "int \<Rightarrow> int"})
isabelle