1.1 --- a/src/Pure/ROOT.ML	Fri Jul 08 20:27:09 2011 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Fri Jul 08 21:44:47 2011 +0200
     1.3 @@ -243,18 +243,18 @@
     1.4  use "Isar/typedecl.ML";
     1.5  
     1.6  (*toplevel transactions*)
     1.7 -use "Thy/thy_load.ML";
     1.8  use "Isar/proof_node.ML";
     1.9  use "Isar/toplevel.ML";
    1.10  
    1.11  (*theory documents*)
    1.12  use "System/isabelle_system.ML";
    1.13 -use "Thy/present.ML";
    1.14  use "Thy/term_style.ML";
    1.15  use "Thy/thy_output.ML";
    1.16  use "Thy/thy_syntax.ML";
    1.17  use "Isar/outer_syntax.ML";
    1.18  use "PIDE/document.ML";
    1.19 +use "Thy/present.ML";
    1.20 +use "Thy/thy_load.ML";
    1.21  use "Thy/thy_info.ML";
    1.22  use "Thy/rail.ML";
    1.23