1.1 --- a/src/Pure/ROOT.ML	Sat Feb 23 22:00:12 2013 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Mon Feb 25 10:18:33 2013 +0100
     1.3 @@ -208,6 +208,7 @@
     1.4  
     1.5  (*theory sources*)
     1.6  use "Thy/thy_header.ML";
     1.7 +use "Thy/thy_syntax.ML";
     1.8  use "Thy/html.ML";
     1.9  use "Thy/latex.ML";
    1.10  
    1.11 @@ -257,7 +258,6 @@
    1.12  use "System/isabelle_system.ML";
    1.13  use "Thy/term_style.ML";
    1.14  use "Thy/thy_output.ML";
    1.15 -use "Thy/thy_syntax.ML";
    1.16  use "PIDE/command.ML";
    1.17  use "Isar/outer_syntax.ML";
    1.18  use "General/graph_display.ML";