--- a/src/Pure/ROOT.ML Wed Aug 11 00:44:48 2010 +0200
+++ b/src/Pure/ROOT.ML Wed Aug 11 00:46:07 2010 +0200
@@ -230,7 +230,7 @@
use "Isar/proof_node.ML";
use "Isar/toplevel.ML";
-(*theory syntax*)
+(*theory documents*)
use "Thy/present.ML";
use "Thy/term_style.ML";
use "Thy/thy_output.ML";
@@ -239,7 +239,6 @@
use "old_goals.ML";
use "Isar/outer_syntax.ML";
use "Thy/thy_info.ML";
-use "Isar/isar_document.ML";
(*theory and proof operations*)
use "Isar/rule_insts.ML";
@@ -257,6 +256,7 @@
use "System/session.ML";
use "System/isar.ML";
use "System/isabelle_process.ML";
+use "Isar/isar_document.ML";
(* miscellaneous tools and packages for Pure Isabelle *)