--- a/src/Pure/pure.ML Thu Oct 04 11:28:30 2001 +0200
+++ b/src/Pure/pure.ML Thu Oct 04 11:29:02 2001 +0200
@@ -11,8 +11,8 @@
HTML.setup @
ProofContext.setup @
Attrib.setup @
+ InductAttrib.setup @
Method.setup @
- InductAttrib.setup @
Calculation.setup @
SkipProof.setup @
AxClass.setup @