| changeset 45810 | 024947a0e492 |
| parent 45804 | 3a3e4c58083c |
| child 45839 | 43a5b86bc102 |
--- 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.