src/HOL/Library/EfficientNat.thy

--- a/src/HOL/Library/EfficientNat.thy	Tue Jul 10 17:30:51 2007 +0200
+++ b/src/HOL/Library/EfficientNat.thy	Tue Jul 10 17:30:52 2007 +0200
@@ -385,14 +385,17 @@
 *}
 (*>*)
 
+
 subsection {* Module names *}
 
 code_modulename SML
   Nat Integer
+  Divides Integer
   EfficientNat Integer
 
 code_modulename OCaml
   Nat Integer
+  Divides Integer
   EfficientNat Integer
 
 code_modulename Haskell