src/Pure/ROOT.ML

 
 (* core of tactical proof system *)
 
 use "term_ord.ML";
 use "term_subst.ML";
+use "term_xml.ML";
 use "old_term.ML";
 use "General/name_space.ML";
 use "sorts.ML";
 use "type.ML";
 use "logic.ML";