diff -r 2bee94cbae72 -r 024947a0e492 NEWS
--- a/NEWS	Sat Dec 10 21:48:16 2011 +0100
+++ b/NEWS	Sat Dec 10 22:00:42 2011 +0100
@@ -89,6 +89,8 @@
   word_order_refl ~> order_refl
   word_order_antisym ~> order_antisym
   word_order_linear ~> linorder_linear
+  lenw1_zero_neq_one ~> zero_neq_one
+  word_number_of_eq ~> number_of_eq
 
 * Clarified attribute "mono_set": pure declararation without modifying
 the result of the fact expression.