--- a/src/Pure/pure.ML Mon Nov 26 23:23:33 2001 +0100
+++ b/src/Pure/pure.ML Mon Nov 26 23:24:27 2001 +0100
@@ -13,6 +13,7 @@
ProofContext.setup @
Locale.setup @
Attrib.setup @
+ RuleContext.setup @
InductAttrib.setup @
Method.setup @
Calculation.setup @