src/Pure/Tools/ROOT.ML

--- a/src/Pure/Tools/ROOT.ML	Tue Jan 30 08:21:15 2007 +0100
+++ b/src/Pure/Tools/ROOT.ML	Tue Jan 30 08:21:16 2007 +0100
@@ -4,6 +4,8 @@
 Miscellaneous tools and packages for Pure Isabelle.
 *)
 
+(*XML syntax for terms and types*)
+use "xml_syntax.ML";
 
 (*derived theory and proof elements*)
 use "invoke.ML";
@@ -32,6 +34,3 @@
 use "nbe_eval.ML";
 use "nbe_codegen.ML";
 use "nbe.ML";
-
-(*XML syntax for terms and types*)
-use "xml_syntax.ML";