--- a/src/HOL/Import/importrecorder.ML Tue Sep 29 14:59:24 2009 +0200
+++ b/src/HOL/Import/importrecorder.ML Tue Sep 29 16:24:36 2009 +0200
@@ -72,9 +72,9 @@
| AbortReplay of string*string
| Delta of deltastate list
-val history = ref ([]:history_entry list)
-val history_dir = ref (SOME "")
-val skip_imports = ref false
+val history = Unsynchronized.ref ([]:history_entry list)
+val history_dir = Unsynchronized.ref (SOME "")
+val skip_imports = Unsynchronized.ref false
fun set_skip_import b = skip_imports := b
fun get_skip_import () = !skip_imports