--- a/src/Pure/Tools/ROOT.ML Tue Aug 14 13:20:21 2007 +0200
+++ b/src/Pure/Tools/ROOT.ML Tue Aug 14 13:20:47 2007 +0200
@@ -7,7 +7,6 @@
use "named_thms.ML";
(*basic XML support*)
-use "xml.ML";
use "xml_syntax.ML";
(*derived theory and proof elements*)