NEWS
changeset 64632 9df24b8b6c0a
parent 64603 a7f5e59378f7
child 64633 5ebcf6c525f1
     1.1 --- a/NEWS	Wed Dec 21 21:26:25 2016 +0100
     1.2 +++ b/NEWS	Wed Dec 21 21:26:26 2016 +0100
     1.3 @@ -16,6 +16,9 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Dropped aliasses RangeP, DomainP for Rangep, Domainp respectively.
     1.8 +INCOMPATIBILITY.
     1.9 +
    1.10  * Swapped orientation of congruence rules mod_add_left_eq,
    1.11  mod_add_right_eq, mod_add_eq, mod_mult_left_eq, mod_mult_right_eq,
    1.12  mod_mult_eq, mod_minus_eq, mod_diff_left_eq, mod_diff_right_eq,