--- 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;
--- 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...
*)