src/Pure/ROOT.ML
changeset 43712 3c2c912af2ef
parent 43684 85388f5570c4
child 43729 07d3c6afa865
--- a/src/Pure/ROOT.ML	Fri Jul 08 20:27:09 2011 +0200
+++ b/src/Pure/ROOT.ML	Fri Jul 08 21:44:47 2011 +0200
@@ -243,18 +243,18 @@
 use "Isar/typedecl.ML";
 
 (*toplevel transactions*)
-use "Thy/thy_load.ML";
 use "Isar/proof_node.ML";
 use "Isar/toplevel.ML";
 
 (*theory documents*)
 use "System/isabelle_system.ML";
-use "Thy/present.ML";
 use "Thy/term_style.ML";
 use "Thy/thy_output.ML";
 use "Thy/thy_syntax.ML";
 use "Isar/outer_syntax.ML";
 use "PIDE/document.ML";
+use "Thy/present.ML";
+use "Thy/thy_load.ML";
 use "Thy/thy_info.ML";
 use "Thy/rail.ML";