diff -r 7300f75028dc -r 3cdfa57408be src/Pure/Isar/ROOT.ML
--- 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";