# HG changeset patch
# User berghofe
# Date 1006187800 -3600
# Node ID 9d86f1cd2969ead628c351312957d562fd14912f
# Parent  3348aa8061d1139b538617effa8a7005952a558f
Added setup for proof rewrite rules.

diff -r 3348aa8061d1 -r 9d86f1cd2969 src/Pure/pure.ML
--- a/src/Pure/pure.ML	Mon Nov 19 17:36:05 2001 +0100
+++ b/src/Pure/pure.ML	Mon Nov 19 17:36:40 2001 +0100
@@ -7,10 +7,11 @@
 
 local
   val common_setup =
-    Locale.setup @
+    ProofRewriteRules.setup @
     HTML.setup @
     ObjectLogic.setup @
     ProofContext.setup @
+    Locale.setup @
     Attrib.setup @
     InductAttrib.setup @
     Method.setup @