src/Pure/ROOT.ML
changeset 30173 eabece26b89b
parent 29269 5c25a2012975
child 30559 e5987a7ac5df
     1.1 --- a/src/Pure/ROOT.ML	Sat Feb 28 17:09:32 2009 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Sat Feb 28 18:00:20 2009 +0100
     1.3 @@ -81,12 +81,18 @@
     1.4  use "goal.ML";
     1.5  use "axclass.ML";
     1.6  
     1.7 -(*the main Isar system*)
     1.8 +(*main Isar stuff*)
     1.9  cd "Isar"; use "ROOT.ML"; cd "..";
    1.10  use "subgoal.ML";
    1.11  
    1.12  use "Proof/extraction.ML";
    1.13  
    1.14 +(*Isabelle/Isar system*)
    1.15 +use "System/session.ML";
    1.16 +use "System/isar.ML";
    1.17 +use "System/isabelle_process.ML";
    1.18 +
    1.19 +(*additional tools*)
    1.20  cd "Tools"; use "ROOT.ML"; cd "..";
    1.21  
    1.22  use "codegen.ML";