| changeset 64633 | 5ebcf6c525f1 |
| parent 64632 | 9df24b8b6c0a |
| child 64634 | 5bd30359e46e |
--- a/NEWS Wed Dec 21 21:26:26 2016 +0100 +++ b/NEWS Wed Dec 21 21:26:26 2016 +0100 @@ -19,6 +19,8 @@ * Dropped aliasses RangeP, DomainP for Rangep, Domainp respectively. INCOMPATIBILITY. +* Dropped abbreviation transP; use constant transp instead. + * Swapped orientation of congruence rules mod_add_left_eq, mod_add_right_eq, mod_add_eq, mod_mult_left_eq, mod_mult_right_eq, mod_mult_eq, mod_minus_eq, mod_diff_left_eq, mod_diff_right_eq,