src/HOL/Divides.thy

--- a/src/HOL/Divides.thy	Wed Dec 27 19:09:59 2006 +0100
+++ b/src/HOL/Divides.thy	Wed Dec 27 19:10:00 2006 +0100
@@ -929,6 +929,9 @@
 code_modulename SML
   Divides Integer
 
+code_modulename OCaml
+  Divides Integer
+
 hide (open) const divmod