src/Pure/ROOT

--- a/src/Pure/ROOT	Thu Aug 08 23:34:52 2013 +0200
+++ b/src/Pure/ROOT	Thu Aug 08 23:52:35 2013 +0200
@@ -201,7 +201,6 @@
     "Thy/thy_output.ML"
     "Thy/thy_syntax.ML"
     "Tools/build.ML"
-    "Tools/legacy_xml_syntax.ML"
     "Tools/named_thms.ML"
     "Tools/proof_general.ML"
     "assumption.ML"