Added xml_syntax.ML

--- 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";