# HG changeset patch
# User wenzelm
# Date 1002187742 -7200
# Node ID eaac65411529b775d41b27f09d5ccf68d621563a
# Parent  8a86409108fe38ead60afe5615dd477aff070fd3
tuned;

diff -r 8a86409108fe -r eaac65411529 src/Pure/pure.ML
--- 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 @