src/HOL/Code_Numeral.thy
changeset 58400 d0d3c30806b4
parent 58399 c5430cf9aa87
child 58889 5b7a9633cfa8
     1.1 --- a/src/HOL/Code_Numeral.thy	Thu Sep 18 18:48:04 2014 +0200
     1.2 +++ b/src/HOL/Code_Numeral.thy	Thu Sep 18 18:48:54 2014 +0200
     1.3 @@ -538,9 +538,9 @@
     1.4  
     1.5  code_printing
     1.6    constant "0::integer" \<rightharpoonup>
     1.7 -    (SML) "0"
     1.8 +    (SML) "!(0/ :/ IntInf.int)"
     1.9      and (OCaml) "Big'_int.zero'_big'_int"
    1.10 -    and (Haskell) "0"
    1.11 +    and (Haskell) "!(0/ ::/ Integer)"
    1.12      and (Scala) "BigInt(0)"
    1.13  
    1.14  setup {*