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";