--- a/src/Pure/Isar/ROOT.ML Sat Jan 07 23:27:51 2006 +0100
+++ b/src/Pure/Isar/ROOT.ML Sat Jan 07 23:27:52 2006 +0100
@@ -22,6 +22,7 @@
use "induct_attrib.ML";
(*derived theory and proof elements*)
+use "specification.ML";
use "constdefs.ML";
use "obtain.ML";
use "locale.ML";