# HG changeset patch
# User paulson
# Date 933931355 -7200
# Node ID 9099542ee509ef4b60bd3a1160cf80da07c66fc1
# Parent  090723b5024d902971559ef1e1821b58922b4ec6
extra comment

diff -r 090723b5024d -r 9099542ee509 src/HOL/ex/mesontest.ML
--- a/src/HOL/ex/mesontest.ML	Fri Aug 06 11:07:25 1999 +0200
+++ b/src/HOL/ex/mesontest.ML	Fri Aug 06 11:22:35 1999 +0200
@@ -591,7 +591,8 @@
 
 writeln"Problem 66";  
 Goal (axjoin([axa,axb,axc,axd], "! x. T(i x(n(n x)))"));
-(*TOO SLOW: more than 24 minutes!
+(*TOO SLOW, several minutes!  
+     208346 inferences so far.  Searching to depth 23
 by (safe_meson_tac 1);
 result();
 *)