--- 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*)