src/Pure/ROOT.ML
changeset 52926 6415d95bf7a2
parent 52865 02a7e7180ee5
child 53192 04df1d236e1c
     1.1 --- a/src/Pure/ROOT.ML	Thu Aug 08 23:34:52 2013 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Thu Aug 08 23:52:35 2013 +0200
     1.3 @@ -302,7 +302,6 @@
     1.4  use "Tools/build.ML";
     1.5  use "Tools/named_thms.ML";
     1.6  use "Tools/proof_general.ML";
     1.7 -use "Tools/legacy_xml_syntax.ML";
     1.8  
     1.9  
    1.10  (* ML toplevel pretty printing *)