1.1 --- a/NEWS	Mon Nov 25 16:59:02 2013 +0000
     1.2 +++ b/NEWS	Mon Nov 25 18:18:58 2013 +0100
     1.3 @@ -28,7 +28,9 @@
     1.4    * Canonical representation for minus one is "- 1".
     1.5    * Canonical representation for other negative numbers is "- (numeral _)".
     1.6    * When devising rule sets for number calculation, consider the
     1.7 -    following cases: 0, 1, numeral _, - 1, - numeral _.
     1.8 +    following canonical cases: 0, 1, numeral _, - 1, - numeral _.
     1.9 +  * HOLogic.dest_number also recognizes numerals in non-canonical forms
    1.10 +    like "numeral One", "- numeral One", "- 0" and even "- … - _".
    1.11    * Syntax for negative numerals is mere input syntax.
    1.12  INCOMPATBILITY.
    1.13