src/Pure/ROOT.ML
changeset 57926 59b2572e8e93
parent 57905 c0c5652e796e
child 57934 5e500c0e7eca
     1.1 --- a/src/Pure/ROOT.ML	Wed Aug 13 12:59:27 2014 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Wed Aug 13 13:30:28 2014 +0200
     1.3 @@ -234,7 +234,8 @@
     1.4  use "Isar/parse.ML";
     1.5  use "Isar/args.ML";
     1.6  
     1.7 -(*theory sources*)
     1.8 +(*theory specifications*)
     1.9 +use "Isar/local_theory.ML";
    1.10  use "Thy/thy_header.ML";
    1.11  use "PIDE/command_span.ML";
    1.12  use "Thy/thy_syntax.ML";
    1.13 @@ -264,7 +265,6 @@
    1.14  
    1.15  (*local theories and targets*)
    1.16  use "Isar/locale.ML";
    1.17 -use "Isar/local_theory.ML";
    1.18  use "Isar/generic_target.ML";
    1.19  use "Isar/overloading.ML";
    1.20  use "axclass.ML";