# HG changeset patch
# User haftmann
# Date 1187351940 -7200
# Node ID 7798a0f37253fabbaa17c5d560a2ecb3041bcdde
# Parent  b1df9e31cda11720b9d1301e8e5870a18b933e92
tuned order

diff -r b1df9e31cda1 -r 7798a0f37253 src/Pure/Isar/ROOT.ML
--- a/src/Pure/Isar/ROOT.ML	Fri Aug 17 13:58:59 2007 +0200
+++ b/src/Pure/Isar/ROOT.ML	Fri Aug 17 13:59:00 2007 +0200
@@ -48,13 +48,13 @@
 use "code.ML";
 
 (*derived theory and proof elements*)
-use "local_theory.ML";
 use "calculation.ML";
 use "obtain.ML";
 use "locale.ML";
+use "class.ML";
+use "local_theory.ML";
+use "theory_target.ML";
 use "spec_parse.ML";
-use "class.ML";
-use "theory_target.ML";
 use "specification.ML";
 use "constdefs.ML";