# HG changeset patch
# User wenzelm
# Date 1137951958 -3600
# Node ID ada43d36eaf794251f19053cc98d5cfe9bd6b769
# Parent  7eb6ad1f91c15c9a368adff5b603260189a4a2ec
tuned order;

diff -r 7eb6ad1f91c1 -r ada43d36eaf7 src/Pure/Isar/ROOT.ML
--- a/src/Pure/Isar/ROOT.ML	Sun Jan 22 18:45:57 2006 +0100
+++ b/src/Pure/Isar/ROOT.ML	Sun Jan 22 18:45:58 2006 +0100
@@ -22,11 +22,13 @@
 use "induct_attrib.ML";
 
 (*derived theory and proof elements*)
+use "calculation.ML";
+use "obtain.ML";
+use "locale.ML";
+use "local_theory.ML";
 use "specification.ML";
 use "constdefs.ML";
-use "obtain.ML";
-use "locale.ML";
-use "calculation.ML";
+
 
 (*outer syntax*)
 use "antiquote.ML";