
diff -r caad9d509bc4 -r e8b68ec3bb9c src/HOL/HOL.thy
--- a/src/HOL/HOL.thy	Thu Sep 02 09:13:28 2010 +0200
+++ b/src/HOL/HOL.thy	Thu Sep 02 11:42:50 2010 +0200
@@ -1931,6 +1931,10 @@
 code_reserved Scala
   Boolean
 
+code_modulename SML Pure HOL
+code_modulename OCaml Pure HOL
+code_modulename Haskell Pure HOL
+
 text {* using built-in Haskell equality *}
 
 code_class equal




