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";