--- a/src/ZF/arith_data.ML Thu Dec 02 15:37:32 2010 +0100
+++ b/src/ZF/arith_data.ML Thu Dec 02 16:04:22 2010 +0100
@@ -223,7 +223,7 @@
(*examples:
print_depth 22;
set timing;
-set trace_simp;
+set simp_trace;
fun test s = (Goal s; by (Asm_simp_tac 1));
test "x #+ y = x #+ z";