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