--- a/src/Pure/Tools/ROOT.ML Thu Sep 21 15:40:31 2006 +0200
+++ b/src/Pure/Tools/ROOT.ML Thu Sep 21 15:40:49 2006 +0200
@@ -31,3 +31,6 @@
use "nbe_eval.ML";
use "nbe_codegen.ML";
use "nbe.ML";
+
+(*XML syntax for terms and types*)
+use "xml_syntax.ML";