changeset 58306 | 5bee93b2020d |
parent 58284 | 5fff4dc31d34 |
child 58335 | e5366291d6aa |
1.1 --- a/NEWS Wed May 14 13:36:35 2014 +0200 1.2 +++ b/NEWS Thu May 15 18:18:50 2014 +0200 1.3 @@ -493,7 +493,7 @@ 1.4 * HOLogic.dest_number also recognizes numerals in non-canonical forms 1.5 like "numeral One", "- numeral One", "- 0" and even "- ... - _". 1.6 * Syntax for negative numerals is mere input syntax. 1.7 -INCOMPATBILITY. 1.8 +INCOMPATIBILITY. 1.9 1.10 * Elimination of fact duplicates: 1.11 equals_zero_I ~> minus_unique