fix incorrect code_modulename declarations
authorhuffman
Mon Mar 26 20:07:29 2012 +0200 (2012-03-26)
changeset 47126e980b14c347d
parent 47125 a3a64240cd98
child 47127 c1950a58b670
fix incorrect code_modulename declarations
src/HOL/Num.thy
     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