| changeset 64632 | 9df24b8b6c0a |
| parent 64603 | a7f5e59378f7 |
| child 64633 | 5ebcf6c525f1 |
--- a/NEWS Wed Dec 21 21:26:25 2016 +0100 +++ b/NEWS Wed Dec 21 21:26:26 2016 +0100 @@ -16,6 +16,9 @@ *** HOL *** +* Dropped aliasses RangeP, DomainP for Rangep, Domainp respectively. +INCOMPATIBILITY. + * 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,