src/Pure/ROOT.ML
changeset 30173 eabece26b89b
parent 29269 5c25a2012975
child 30559 e5987a7ac5df
--- a/src/Pure/ROOT.ML	Sat Feb 28 17:09:32 2009 +0100
+++ b/src/Pure/ROOT.ML	Sat Feb 28 18:00:20 2009 +0100
@@ -81,12 +81,18 @@
 use "goal.ML";
 use "axclass.ML";
 
-(*the main Isar system*)
+(*main Isar stuff*)
 cd "Isar"; use "ROOT.ML"; cd "..";
 use "subgoal.ML";
 
 use "Proof/extraction.ML";
 
+(*Isabelle/Isar system*)
+use "System/session.ML";
+use "System/isar.ML";
+use "System/isabelle_process.ML";
+
+(*additional tools*)
 cd "Tools"; use "ROOT.ML"; cd "..";
 
 use "codegen.ML";