# HG changeset patch
# User haftmann
# Date 1283416187 -7200
# Node ID 962d12bc546cccd9f623dc38031170e714a8035f
# Parent  582546cc49a1dfb43b7c9000aca3c7d2a5c49920
avoid cyclic modules

diff -r 582546cc49a1 -r 962d12bc546c src/HOL/HOL.thy
--- a/src/HOL/HOL.thy	Thu Sep 02 08:35:16 2010 +0200
+++ b/src/HOL/HOL.thy	Thu Sep 02 10:29:47 2010 +0200
@@ -1930,6 +1930,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