Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
avoid cyclic modules
authorhaftmann
Thu, 02 Sep 2010 10:29:47 +0200
changeset 39026 962d12bc546c
parent 39025 582546cc49a1
child 39027 e4262f9e6a4e
avoid cyclic modules
src/HOL/HOL.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle