src/HOL/Num.thy
changeset 47126 e980b14c347d
parent 47108 2a1953f0d20d
child 47191 ebd8c46d156b
     1.1 --- a/src/HOL/Num.thy	Mon Mar 26 19:04:17 2012 +0200
     1.2 +++ b/src/HOL/Num.thy	Mon Mar 26 20:07:29 2012 +0200
     1.3 @@ -1010,12 +1010,12 @@
     1.4  subsection {* code module namespace *}
     1.5  
     1.6  code_modulename SML
     1.7 -  Numeral Arith
     1.8 +  Num Arith
     1.9  
    1.10  code_modulename OCaml
    1.11 -  Numeral Arith
    1.12 +  Num Arith
    1.13  
    1.14  code_modulename Haskell
    1.15 -  Numeral Arith
    1.16 +  Num Arith
    1.17  
    1.18  end