NEWS

--- a/NEWS	Mon Nov 25 18:18:58 2013 +0100
+++ b/NEWS	Tue Nov 26 09:49:52 2013 +0100
@@ -37,6 +37,8 @@
 * Elimination of fact duplicates:
     equals_zero_I ~> minus_unique
     diff_eq_0_iff_eq ~> right_minus_eq
+    nat_infinite ~> infinite_UNIV_nat
+    int_infinite ~> infinite_UNIV_int
 INCOMPATIBILITY.
 
 * Fact name consolidation: