equal
deleted
inserted
replaced
326 |
326 |
327 (*Final simplification: cancel + and * *) |
327 (*Final simplification: cancel + and * *) |
328 val simplify_meta_eq = |
328 val simplify_meta_eq = |
329 Int_Numeral_Simprocs.simplify_meta_eq |
329 Int_Numeral_Simprocs.simplify_meta_eq |
330 [add_zero_left, add_zero_right, |
330 [add_zero_left, add_zero_right, |
331 mult_left_zero, mult_right_zero, mult_1, |
331 mult_zero_left, mult_zero_right, mult_1, mult_1_right]; |
332 mult_1_right]; |
|
333 |
332 |
334 val prep_simproc = Complex_Numeral_Simprocs.prep_simproc; |
333 val prep_simproc = Complex_Numeral_Simprocs.prep_simproc; |
335 |
334 |
336 |
335 |
337 structure CancelNumeralsCommon = |
336 structure CancelNumeralsCommon = |