src/Pure/Isar/ROOT.ML

--- a/src/Pure/Isar/ROOT.ML	Fri Nov 23 21:09:34 2007 +0100
+++ b/src/Pure/Isar/ROOT.ML	Fri Nov 23 21:09:35 2007 +0100
@@ -44,6 +44,9 @@
 (*derived theory and proof elements*)
 use "calculation.ML";
 use "obtain.ML";
+
+(*local theories and target primitives*)
+use "local_theory.ML";
 use "locale.ML";
 use "class.ML";
 
@@ -52,12 +55,11 @@
 use "code.ML";
 
 (*local theories and specifications*)
-use "local_theory.ML";
 use "theory_target.ML";
 use "subclass.ML";
-use "instance.ML";
 use "spec_parse.ML";
 use "specification.ML";
+use "instance.ML";
 use "constdefs.ML";
 
 (*toplevel environment*)