diff -r 9df24b8b6c0a -r 5ebcf6c525f1 NEWS
--- 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,