src/Pure/ROOT.ML
changeset 52140 88a69da5d3fa
parent 52059 2f970c7f722b
child 52211 66bc827e37f8
--- a/src/Pure/ROOT.ML	Sat May 25 13:59:08 2013 +0200
+++ b/src/Pure/ROOT.ML	Sat May 25 15:44:08 2013 +0200
@@ -230,8 +230,8 @@
 use "Isar/obtain.ML";
 
 (*local theories and targets*)
+use "Isar/locale.ML";
 use "Isar/local_theory.ML";
-use "Isar/locale.ML";
 use "Isar/generic_target.ML";
 use "Isar/overloading.ML";
 use "axclass.ML";