--- a/src/HOL/Library/Efficient_Nat.thy Fri Oct 30 14:02:42 2009 +0100
+++ b/src/HOL/Library/Efficient_Nat.thy Fri Oct 30 18:32:40 2009 +0100
@@ -424,22 +424,13 @@
text {* Module names *}
code_modulename SML
- Nat Integer
- Divides Integer
- Ring_and_Field Integer
- Efficient_Nat Integer
+ Efficient_Nat Arith
code_modulename OCaml
- Nat Integer
- Divides Integer
- Ring_and_Field Integer
- Efficient_Nat Integer
+ Efficient_Nat Arith
code_modulename Haskell
- Nat Integer
- Divides Integer
- Ring_and_Field Integer
- Efficient_Nat Integer
+ Efficient_Nat Arith
hide const int