# HG changeset patch
# User haftmann
# Date 1217055625 -7200
# Node ID cd561f58076d26336b0ea1d787af1be35103dc8e
# Parent  f45fd1159a4bb9fc7b7b9536d854b33a9c903826
tuned bootstrap order

diff -r f45fd1159a4b -r cd561f58076d src/Pure/Isar/ROOT.ML
--- a/src/Pure/Isar/ROOT.ML	Fri Jul 25 12:03:37 2008 +0200
+++ b/src/Pure/Isar/ROOT.ML	Sat Jul 26 09:00:25 2008 +0200
@@ -50,11 +50,14 @@
 use "calculation.ML";
 use "obtain.ML";
 
-(*local theories and target primitives*)
+(*local theories and targets*)
 use "local_theory.ML";
 use "overloading.ML";
 use "locale.ML";
 use "class.ML";
+use "theory_target.ML";
+use "instance.ML";
+use "subclass.ML";
 
 (*complex proof machineries*)
 use "../simplifier.ML";
@@ -63,12 +66,9 @@
 use "code_unit.ML";
 use "code.ML";
 
-(*local theories and specifications*)
-use "theory_target.ML";
-use "subclass.ML";
+(*specifications*)
 use "spec_parse.ML";
 use "specification.ML";
-use "instance.ML";
 use "constdefs.ML";
 
 (*toplevel transactions*)