# HG changeset patch
# User traytel
# Date 1385455792 -3600
# Node ID 42b9baf50f8f694ff535b03d476d31c7c5fa133f
# Parent  19cd731eb745e81a864edb0f0149c256e25ec3a8
NEWS

diff -r 19cd731eb745 -r 42b9baf50f8f 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: