src/Pure/Isar/ROOT.ML
changeset 28849 9458d7a6388a
parent 28795 6891e273c33b
child 29249 4dc278c8dc59
equal deleted inserted replaced
28848:9a02932efb91 28849:9458d7a6388a
    49 (*derived theory and proof elements*)
    49 (*derived theory and proof elements*)
    50 use "calculation.ML";
    50 use "calculation.ML";
    51 use "obtain.ML";
    51 use "obtain.ML";
    52 
    52 
    53 (*local theories and targets*)
    53 (*local theories and targets*)
       
    54 val new_locales = ref false;
    54 use "local_theory.ML";
    55 use "local_theory.ML";
    55 use "overloading.ML";
    56 use "overloading.ML";
    56 use "locale.ML";
    57 use "locale.ML";
    57 use "new_locale.ML";
    58 use "new_locale.ML";
    58 use "expression.ML";
    59 use "expression.ML";