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