src/HOL/Library/Efficient_Nat.thy
changeset 33364 2bd12592c5e8
parent 33343 2eb0b672ab40
child 34893 ecdc526af73a
     1.1 --- a/src/HOL/Library/Efficient_Nat.thy	Fri Oct 30 14:02:42 2009 +0100
     1.2 +++ b/src/HOL/Library/Efficient_Nat.thy	Fri Oct 30 18:32:40 2009 +0100
     1.3 @@ -424,22 +424,13 @@
     1.4  text {* Module names *}
     1.5  
     1.6  code_modulename SML
     1.7 -  Nat Integer
     1.8 -  Divides Integer
     1.9 -  Ring_and_Field Integer
    1.10 -  Efficient_Nat Integer
    1.11 +  Efficient_Nat Arith
    1.12  
    1.13  code_modulename OCaml
    1.14 -  Nat Integer
    1.15 -  Divides Integer
    1.16 -  Ring_and_Field Integer
    1.17 -  Efficient_Nat Integer
    1.18 +  Efficient_Nat Arith
    1.19  
    1.20  code_modulename Haskell
    1.21 -  Nat Integer
    1.22 -  Divides Integer
    1.23 -  Ring_and_Field Integer
    1.24 -  Efficient_Nat Integer
    1.25 +  Efficient_Nat Arith
    1.26  
    1.27  hide const int
    1.28