src/Pure/ROOT.ML
changeset 57926 59b2572e8e93
parent 57905 c0c5652e796e
child 57934 5e500c0e7eca
--- a/src/Pure/ROOT.ML	Wed Aug 13 12:59:27 2014 +0200
+++ b/src/Pure/ROOT.ML	Wed Aug 13 13:30:28 2014 +0200
@@ -234,7 +234,8 @@
 use "Isar/parse.ML";
 use "Isar/args.ML";
 
-(*theory sources*)
+(*theory specifications*)
+use "Isar/local_theory.ML";
 use "Thy/thy_header.ML";
 use "PIDE/command_span.ML";
 use "Thy/thy_syntax.ML";
@@ -264,7 +265,6 @@
 
 (*local theories and targets*)
 use "Isar/locale.ML";
-use "Isar/local_theory.ML";
 use "Isar/generic_target.ML";
 use "Isar/overloading.ML";
 use "axclass.ML";