# HG changeset patch
# User wenzelm
# Date 1136633188 -3600
# Node ID 4000f368dc7f49b113a3d5004acd9ec11c059d07
# Parent  04c2c702a3fb39c32b500ebed13c2cf68ce34819
tuned order;

diff -r 04c2c702a3fb -r 4000f368dc7f src/Pure/Isar/ROOT.ML
--- a/src/Pure/Isar/ROOT.ML	Sat Jan 07 12:26:27 2006 +0100
+++ b/src/Pure/Isar/ROOT.ML	Sat Jan 07 12:26:28 2006 +0100
@@ -23,8 +23,8 @@
 
 (*derived theory and proof elements*)
 use "constdefs.ML";
+use "obtain.ML";
 use "locale.ML";
-use "obtain.ML";
 use "calculation.ML";
 
 (*outer syntax*)