src/Pure/Isar/ROOT.ML

--- a/src/Pure/Isar/ROOT.ML	Wed Mar 04 10:43:39 2009 +0100
+++ b/src/Pure/Isar/ROOT.ML	Wed Mar 04 10:45:52 2009 +0100
@@ -82,14 +82,12 @@
 use "../old_goals.ML";
 use "outer_syntax.ML";
 use "../Thy/thy_info.ML";
-use "session.ML";
-use "isar.ML";
 use "isar_document.ML";
 
 (*theory and proof operations*)
 use "rule_insts.ML";
 use "../Thy/thm_deps.ML";
-use "find_theorems.ML";
-use "find_consts.ML";
 use "isar_cmd.ML";
 use "isar_syn.ML";
+
+