--- a/src/Pure/ROOT.ML Sun Nov 01 20:59:34 2009 +0100
+++ b/src/Pure/ROOT.ML Sun Nov 01 21:42:27 2009 +0100
@@ -212,6 +212,7 @@
(*specifications*)
use "Isar/spec_parse.ML";
+use "Isar/spec_rules.ML";
use "Isar/specification.ML";
use "Isar/constdefs.ML";