src/Pure/ROOT

--- a/src/Pure/ROOT	Thu Aug 02 11:32:23 2012 +0200
+++ b/src/Pure/ROOT	Thu Aug 02 12:36:54 2012 +0200
@@ -196,8 +196,6 @@
     "Thy/thy_load.ML"
     "Thy/thy_output.ML"
     "Thy/thy_syntax.ML"
-    "Tools/find_consts.ML"
-    "Tools/find_theorems.ML"
     "Tools/named_thms.ML"
     "Tools/xml_syntax.ML"
     "assumption.ML"