NEWS
changeset 64634 5bd30359e46e
parent 64633 5ebcf6c525f1
child 64785 ae0bbc8e45ad
     1.1 --- a/NEWS	Wed Dec 21 21:26:26 2016 +0100
     1.2 +++ b/NEWS	Thu Dec 22 08:43:30 2016 +0100
     1.3 @@ -19,7 +19,9 @@
     1.4  * Dropped aliasses RangeP, DomainP for Rangep, Domainp respectively.
     1.5  INCOMPATIBILITY.
     1.6  
     1.7 -* Dropped abbreviation transP; use constant transp instead.
     1.8 +* Dropped abbreviation transP, antisymP, single_valuedP;
     1.9 +use constants transp, antisymp, single_valuedp instead.
    1.10 +INCOMPATIBILITY.
    1.11  
    1.12  * Swapped orientation of congruence rules mod_add_left_eq,
    1.13  mod_add_right_eq, mod_add_eq, mod_mult_left_eq, mod_mult_right_eq,