# HG changeset patch
# User haftmann
# Date 1170141676 -3600
# Node ID 2d6e8cf4867095e5a742e1fce18bd61dc792bf75
# Parent  4bc4a930a8bc601074950f0c23d582aff8a14870
shifted import order

diff -r 4bc4a930a8bc -r 2d6e8cf48670 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";