src/Pure/Isar/ROOT.ML
changeset 16025 fa2d7364d359
parent 15918 6d6d3fabef02
child 16530 3e493fa130a3
--- 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";