src/Pure/ROOT.ML

 use "Isar/args.ML";
 use "ML/ml_context.ML";
 
 (*theory sources*)
 use "Thy/thy_header.ML";
+use "Thy/thy_syntax.ML";
 use "Thy/html.ML";
 use "Thy/latex.ML";
 
 (*basic proof engine*)
 use "Isar/proof_display.ML";

 
 (*theory documents*)
 use "System/isabelle_system.ML";
 use "Thy/term_style.ML";
 use "Thy/thy_output.ML";
-use "Thy/thy_syntax.ML";
 use "PIDE/command.ML";
 use "Isar/outer_syntax.ML";
 use "General/graph_display.ML";
 use "Thy/present.ML";
 use "Thy/thy_load.ML";