author | haftmann |
Wed, 28 Jul 2010 12:12:29 +0200 | |
changeset 38299 | 9102e859dc0b |
parent 38264 | dc56a9a8e19d |
child 38300 | acd48ef85bfc |
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 -)