--- a/src/Pure/ROOT.ML Tue Nov 25 17:30:05 2014 +0100
+++ b/src/Pure/ROOT.ML Wed Nov 26 11:43:51 2014 +0100
@@ -18,8 +18,6 @@
use "General/alist.ML";
use "General/table.ML";
-use "Concurrent/simple_thread.ML";
-
use "Concurrent/synchronized.ML";
if Multithreading.available then ()
else use "Concurrent/synchronized_sequential.ML";
@@ -51,6 +49,7 @@
val toplevel_pp = Secure.toplevel_pp;
+
(** bootstrap phase 1: towards ML within Isar context *)
(* library of general tools *)
@@ -107,6 +106,8 @@
then use "ML/ml_statistics_polyml-5.5.0.ML"
else use "ML/ml_statistics_dummy.ML";
+use "Concurrent/simple_thread.ML";
+
use "Concurrent/single_assignment.ML";
if Multithreading.available then ()
else use "Concurrent/single_assignment_sequential.ML";