author | huffman |
Mon, 26 Mar 2012 20:07:29 +0200 | |
changeset 47996 | e980b14c347d |
parent 47995 | a3a64240cd98 |
child 47997 | c1950a58b670 |
src/HOL/Num.thy | file | annotate | diff | comparison | revisions |
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