more clever module name aliasses for code generation
authorhaftmann
Fri Oct 24 17:48:35 2008 +0200 (2008-10-24)
changeset 2868359c01ec6cb8d
parent 28682 5de9fc98ad96
child 28684 48faac324061
more clever module name aliasses for code generation
src/HOL/Library/Efficient_Nat.thy
     1.1 --- a/src/HOL/Library/Efficient_Nat.thy	Fri Oct 24 17:48:34 2008 +0200
     1.2 +++ b/src/HOL/Library/Efficient_Nat.thy	Fri Oct 24 17:48:35 2008 +0200
     1.3 @@ -445,16 +445,19 @@
     1.4  code_modulename SML
     1.5    Nat Integer
     1.6    Divides Integer
     1.7 +  Ring_and_Field Integer
     1.8    Efficient_Nat Integer
     1.9  
    1.10  code_modulename OCaml
    1.11    Nat Integer
    1.12    Divides Integer
    1.13 +  Ring_and_Field Integer
    1.14    Efficient_Nat Integer
    1.15  
    1.16  code_modulename Haskell
    1.17    Nat Integer
    1.18    Divides Integer
    1.19 +  Ring_and_Field Integer
    1.20    Efficient_Nat Integer
    1.21  
    1.22  hide const int