src/HOL/Library/Code_Integer.thy
changeset 38053 9102e859dc0b
parent 37968 52fdcb76c0af
child 38773 f9837065b5e8
     1.1 --- a/src/HOL/Library/Code_Integer.thy	Tue Jul 27 20:16:14 2010 +0200
     1.2 +++ b/src/HOL/Library/Code_Integer.thy	Wed Jul 28 12:12:29 2010 +0200
     1.3 @@ -19,6 +19,7 @@
     1.4    (OCaml "Big'_int.big'_int")
     1.5    (Haskell "Integer")
     1.6    (Scala "BigInt")
     1.7 +  (Eval "int")
     1.8  
     1.9  code_instance int :: eq
    1.10    (Haskell -)