--- a/src/HOL/ex/mesontest2.ML Fri Dec 19 10:27:23 1997 +0100
+++ b/src/HOL/ex/mesontest2.ML Fri Dec 19 10:28:33 1997 +0100
@@ -126,7 +126,7 @@
val meson_tac = safe_meson_tac 1;
-proof_timing:=true;
+set proof_timing;
(****************ABOVE FIVE MINUTES
val BOO003_1 = prove