separate Concurrent/ROOT.ML;

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/Concurrent/ROOT.ML	Thu Sep 11 13:24:19 2008 +0200
@@ -0,0 +1,11 @@
+(*  Title:      Pure/General/ROOT.ML
+    ID:         $Id$
+
+Concurrency within the ML runtime.
+*)
+
+use "mailbox.ML";
+use "schedule.ML";
+use "task_queue.ML";
+use "future.ML";
+use "par_list.ML";

--- a/src/Pure/ROOT.ML	Thu Sep 11 13:24:14 2008 +0200
+++ b/src/Pure/ROOT.ML	Thu Sep 11 13:24:19 2008 +0200
@@ -21,12 +21,7 @@
 use "library.ML";
 
 cd "General"; use "ROOT.ML"; cd "..";
-
-(*concurrency within the ML runtime*)
-use "Concurrent/mailbox.ML";
-use "Concurrent/schedule.ML";
-use "Concurrent/task_queue.ML";
-use "Concurrent/future.ML";
+cd "Concurrent"; use "ROOT.ML"; cd "..";
 
 (*fundamental structures*)
 use "name.ML";