src/HOL/Library/Efficient_Nat.thy
changeset 33364 2bd12592c5e8
parent 33343 2eb0b672ab40
child 34893 ecdc526af73a
--- 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