src/Pure/Tools/ROOT.ML

--- a/src/Pure/Tools/ROOT.ML	Fri Feb 27 12:28:28 2009 +0100
+++ b/src/Pure/Tools/ROOT.ML	Fri Feb 27 15:46:22 2009 +0100
@@ -9,6 +9,9 @@
 (*basic XML support*)
 use "xml_syntax.ML";
 
+use "find_theorems.ML";
+use "find_consts.ML";
+
 (*quickcheck/autosolve needed here because of pg preferences*)
 use "../../Tools/quickcheck.ML";
 use "../../Tools/auto_solve.ML";