diff -r ffe25459c72a -r fa2d7364d359 src/Pure/Isar/ROOT.ML
--- a/src/Pure/Isar/ROOT.ML	Sun May 22 16:51:12 2005 +0200
+++ b/src/Pure/Isar/ROOT.ML	Sun May 22 16:51:13 2005 +0200
@@ -43,5 +43,7 @@
 (*theory and proof operations*)
 use "isar_thy.ML";
 use "constdefs.ML";
+use "../simplifier.ML";
+use "find_theorems.ML";
 use "isar_cmd.ML";
 use "isar_syn.ML";