# HG changeset patch
# User paulson
# Date 844677347 -7200
# Node ID d08998a11d44517c716183b10daae786feb26b44
# Parent  ff04984186e997d10380f36d2b29d9f34f40bb86
New comment in header

diff -r ff04984186e9 -r d08998a11d44 src/HOL/ex/mesontest.ML
--- a/src/HOL/ex/mesontest.ML	Mon Oct 07 10:34:58 1996 +0200
+++ b/src/HOL/ex/mesontest.ML	Mon Oct 07 10:35:47 1996 +0200
@@ -6,6 +6,8 @@
 Test data for the MESON proof procedure
    (Excludes the equality problems 51, 52, 56, 58)
 
+Use the "mesonlog" shell script to process logs.
+
 show_hyps := false;
 
 keep_derivs := MinDeriv;
diff -r ff04984186e9 -r d08998a11d44 src/HOL/ex/mesontest2.ML
--- a/src/HOL/ex/mesontest2.ML	Mon Oct 07 10:34:58 1996 +0200
+++ b/src/HOL/ex/mesontest2.ML	Mon Oct 07 10:35:47 1996 +0200
@@ -1,5 +1,8 @@
 (* Courtesy John Harrison 
   $Id$
+
+  Use the "mesonlog" shell script to process logs.
+
    Changed numeric constants e.g. 0, 1, 2... to num0, num1, num2...
 *)