type
authorhaftmann
Thu May 15 18:18:50 2014 +0200 (2014-05-15)
changeset 569645bee93b2020d
parent 56963 d0e04fdf4276
child 56965 222f46a4dbec
type
NEWS
     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