| Sun, 30 Oct 2011 22:20:45 +0100 | wenzelm | removed obsolete argument (cf. aa35859c8741); | changeset | files |
| Sun, 30 Oct 2011 09:42:13 +0100 | huffman | removed ad-hoc simp rules sin_cos_eq[symmetric], minus_sin_cos_eq[symmetric], cos_sin_eq[symmetric] | changeset | files |
| Sun, 30 Oct 2011 09:07:02 +0100 | huffman | extend cancellation simproc patterns to cover terms like '- (2 * pi) < pi' | changeset | files |