tuned order;

--- a/src/Pure/ROOT.ML	Fri Jan 19 22:08:15 2007 +0100
+++ b/src/Pure/ROOT.ML	Fri Jan 19 22:08:16 2007 +0100
@@ -67,14 +67,7 @@
 use "Proof/proof_rewrite_rules.ML";
 use "Proof/proofchecker.ML";
 
-(*theory auto loader database*)
-use "Thy/thy_load.ML";
-use "Thy/thy_info.ML";
-
-(*theory syntax*)
-use "Isar/outer_lex.ML";
-
-(*the Isar system*)
+(*the main Isar system*)
 cd "Isar"; use "ROOT.ML"; cd "..";
 use "subgoal.ML";