src/Pure/ROOT.ML
changeset 37949 48a874444164
parent 37782 71dd62132eda
child 38150 67fc24df3721
     1.1 --- a/src/Pure/ROOT.ML	Fri Jul 23 18:42:46 2010 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Sat Jul 24 12:14:53 2010 +0200
     1.3 @@ -184,10 +184,8 @@
     1.4  
     1.5  (*theory sources*)
     1.6  use "Thy/thy_header.ML";
     1.7 -use "Thy/thy_load.ML";
     1.8  use "Thy/html.ML";
     1.9  use "Thy/latex.ML";
    1.10 -use "Thy/present.ML";
    1.11  
    1.12  (*basic proof engine*)
    1.13  use "Isar/proof_display.ML";
    1.14 @@ -227,10 +225,12 @@
    1.15  use "Isar/constdefs.ML";
    1.16  
    1.17  (*toplevel transactions*)
    1.18 +use "Thy/thy_load.ML";
    1.19  use "Isar/proof_node.ML";
    1.20  use "Isar/toplevel.ML";
    1.21  
    1.22  (*theory syntax*)
    1.23 +use "Thy/present.ML";
    1.24  use "Thy/term_style.ML";
    1.25  use "Thy/thy_output.ML";
    1.26  use "Thy/thy_syntax.ML";