1.1 --- a/NEWS	Tue Nov 19 01:30:14 2013 +0100
     1.2 +++ b/NEWS	Tue Nov 19 10:05:53 2013 +0100
     1.3 @@ -18,6 +18,14 @@
     1.4      even_zero_(nat|int) ~> even_zero
     1.5  INCOMPATIBILITY.
     1.6  
     1.7 +* Abolished neg_numeral.
     1.8 +  * Canonical representation for minus one is "- 1".
     1.9 +  * Canonical representation for other negative numbers is "- (numeral _)".
    1.10 +  * When devising rules set for number calculation, consider the
    1.11 +    following cases: 0, 1, numeral _, - 1, - numeral _.
    1.12 +  * Syntax for negative numerals is mere input syntax.
    1.13 +INCOMPATBILITY.
    1.14 +
    1.15  * Elimination of fact duplicates:
    1.16      equals_zero_I ~> minus_unique
    1.17      diff_eq_0_iff_eq ~> right_minus_eq