changeset 38341 | 72dba5bd5f63 |
parent 38307 | 0028571ade2d |
child 38343 | e5418eec375c |
--- a/src/Pure/ROOT.ML Wed Aug 11 12:04:49 2010 +0200 +++ b/src/Pure/ROOT.ML Wed Aug 11 12:24:24 2010 +0200 @@ -204,9 +204,9 @@ (*local theories and targets*) use "Isar/local_theory.ML"; +use "Isar/locale.ML"; use "Isar/generic_target.ML"; use "Isar/overloading.ML"; -use "Isar/locale.ML"; use "axclass.ML"; use "Isar/class_target.ML"; use "Isar/theory_target.ML";