src/Pure/ROOT.ML
changeset 38343 e5418eec375c
parent 38326 01d2ef471ffe
parent 38341 72dba5bd5f63
child 38350 480b2de9927c
     1.1 --- a/src/Pure/ROOT.ML	Wed Aug 11 12:50:33 2010 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Wed Aug 11 13:31:29 2010 +0200
     1.3 @@ -205,9 +205,9 @@
     1.4  
     1.5  (*local theories and targets*)
     1.6  use "Isar/local_theory.ML";
     1.7 +use "Isar/locale.ML";
     1.8  use "Isar/generic_target.ML";
     1.9  use "Isar/overloading.ML";
    1.10 -use "Isar/locale.ML";
    1.11  use "axclass.ML";
    1.12  use "Isar/class_target.ML";
    1.13  use "Isar/theory_target.ML";