Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Import/hol4rews.ML
changeset 32740 9dd0a2f83429
parent 32432 64f30bdd3ba1
child 32957 675c0c7e6a37 
--- a/src/HOL/Import/hol4rews.ML	Tue Sep 29 14:59:24 2009 +0200
+++ b/src/HOL/Import/hol4rews.ML	Tue Sep 29 16:24:36 2009 +0200
@@ -168,7 +168,7 @@
   fun merge _ = Library.gen_union Thm.eq_thm
 )
 
-val hol4_debug = ref false
+val hol4_debug = Unsynchronized.ref false
 fun message s = if !hol4_debug then writeln s else ()
 
 local
isabelle