src/Pure/ROOT.ML
changeset 28120 dd4297f5b495
parent 27642 c0db1220b071
child 28134 1179b32f885d
     1.1 --- a/src/Pure/ROOT.ML	Wed Sep 03 20:32:33 2008 +0000
     1.2 +++ b/src/Pure/ROOT.ML	Thu Sep 04 16:03:41 2008 +0200
     1.3 @@ -22,6 +22,9 @@
     1.4  
     1.5  cd "General"; use "ROOT.ML"; cd "..";
     1.6  
     1.7 +(*concurrency within the ML runtime*)
     1.8 +use "Concurrent/schedule.ML";
     1.9 +
    1.10  (*fundamental structures*)
    1.11  use "name.ML";
    1.12  use "term.ML";