changeset 38579 | e5418eec375c |
parent 38572 | 01d2ef471ffe |
parent 38577 | 72dba5bd5f63 |
child 38586 | 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";