src/Pure/General/ROOT.ML

 use "url.ML";
 use "file.ML";
 use "buffer.ML";
 use "history.ML";
 use "xml.ML";
+use "yxml.ML";