# HG changeset patch # User haftmann # Date 1400170730 -7200 # Node ID 5bee93b2020d47c04665cdd7bb93581875163f73 # Parent d0e04fdf4276b2d19a3541417e3a245f1fe873d4 type diff -r d0e04fdf4276 -r 5bee93b2020d NEWS --- a/NEWS Wed May 14 13:36:35 2014 +0200 +++ b/NEWS Thu May 15 18:18:50 2014 +0200 @@ -493,7 +493,7 @@ * HOLogic.dest_number also recognizes numerals in non-canonical forms like "numeral One", "- numeral One", "- 0" and even "- ... - _". * Syntax for negative numerals is mere input syntax. -INCOMPATBILITY. +INCOMPATIBILITY. * Elimination of fact duplicates: equals_zero_I ~> minus_unique