src/HOL/ex/mesontest2.ML
changeset 9000 c20d58286a51
parent 8557 fe75fe482566
child 9841 ca3173f87b5c
--- a/src/HOL/ex/mesontest2.ML	Tue May 30 16:03:09 2000 +0200
+++ b/src/HOL/ex/mesontest2.ML	Tue May 30 16:08:38 2000 +0200
@@ -19,7 +19,7 @@
 
 val meson_tac = safe_meson_tac 1;
 
-set proof_timing;
+set timing;
 
 (* ========================================================================= *)
 (* 100 problems selected from the TPTP library                               *)