diff -r 27e00c983b7b -r d0ffa8fad5bb src/Pure/Tools/ROOT.ML
--- a/src/Pure/Tools/ROOT.ML	Fri Jun 05 00:24:47 2009 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,9 +0,0 @@
-(* Miscellaneous tools and packages for Pure Isabelle *)
-
-use "named_thms.ML";
-
-use "xml_syntax.ML";
-
-use "find_theorems.ML";
-use "find_consts.ML";
-