changeset 40878 | 7695e4de4d86 |
parent 38864 | 4abe644fcea5 |
child 44945 | 2625de88c994 |
--- a/src/HOL/Tools/nat_numeral_simprocs.ML Thu Dec 02 15:37:32 2010 +0100 +++ b/src/HOL/Tools/nat_numeral_simprocs.ML Thu Dec 02 16:04:22 2010 +0100 @@ -446,7 +446,7 @@ (*examples: print_depth 22; set timing; -set trace_simp; +set simp_trace; fun test s = (Goal s; by (Simp_tac 1)); (*cancel_numerals*)