# HG changeset patch
# User wenzelm
# Date 1116773473 -7200
# Node ID fa2d7364d359bef8fd3b9281bd33b9a4179dc991
# Parent  ffe25459c72a3fb80a51bc998dac546faa3ecefa
added find_theorems.ML, ../simplifier.ML;

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";