diff -r ae70b6830f15 -r 43eac86bf006 NEWS
--- a/NEWS	Fri Dec 23 15:34:18 2011 +0100
+++ b/NEWS	Fri Dec 23 15:55:23 2011 +0100
@@ -84,6 +84,7 @@
   word_left_minus ~> left_minus
   word_diff_0_right ~> diff_0_right
   word_diff_self ~> diff_self
+  word_sub_def ~> diff_minus
   word_diff_minus ~> diff_minus
   word_add_ac ~> add_ac
   word_mult_ac ~> mult_ac