equal
deleted
inserted
replaced
425 |
425 |
426 Addsimprocs Complex_Numeral_Simprocs.eval_numerals; |
426 Addsimprocs Complex_Numeral_Simprocs.eval_numerals; |
427 Addsimprocs Complex_Numeral_Simprocs.cancel_numerals; |
427 Addsimprocs Complex_Numeral_Simprocs.cancel_numerals; |
428 Addsimprocs [Complex_Numeral_Simprocs.combine_numerals]; |
428 Addsimprocs [Complex_Numeral_Simprocs.combine_numerals]; |
429 |
429 |
430 (*The Abel_Cancel simprocs are now obsolete |
|
431 Delsimprocs [Complex_Cancel.sum_conv, Complex_Cancel.rel_conv]; |
|
432 *) |
|
433 |
|
434 (*examples: |
430 (*examples: |
435 print_depth 22; |
431 print_depth 22; |
436 set timing; |
432 set timing; |
437 set trace_simp; |
433 set trace_simp; |
438 fun test s = (Goal s, by (Simp_tac 1)); |
434 fun test s = (Goal s, by (Simp_tac 1)); |