# HG changeset patch
# User wenzelm
# Date 881943298 -3600
# Node ID 7f760385a3a5c4981fb36f0be552d0722b298660
# Parent  d103e5e164f82e4d68411cfc538b431ac178769d
tuned msg;

diff -r d103e5e164f8 -r 7f760385a3a5 src/Pure/thm.ML
--- a/src/Pure/thm.ML	Fri Dec 12 17:11:26 1997 +0100
+++ b/src/Pure/thm.ML	Fri Dec 12 17:14:58 1997 +0100
@@ -1833,7 +1833,7 @@
               case proc signt prems eta_t of
                 None => (trace false "FAILED"; proc_rews eta_t ps)
               | Some raw_thm =>
-                 (trace_thm false ("Procedure " ^ quote name ^ " proved rewrite rule:") raw_thm;
+                 (trace_thm false ("Procedure " ^ quote name ^ " produced rewrite rule:") raw_thm;
                    (case rews (mk_procrule raw_thm) of
                      None => (trace false "IGNORED"; proc_rews eta_t ps)
                    | some => some)))