may use `int` in Isabelle runtime environment
authorhaftmann
Wed Jul 28 12:12:29 2010 +0200 (2010-07-28)
changeset 380539102e859dc0b
parent 38030 dc56a9a8e19d
child 38054 acd48ef85bfc
may use `int` in Isabelle runtime environment
src/HOL/Library/Code_Integer.thy
     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 -)