# HG changeset patch
# User haftmann
# Date 1278060470 -7200
# Node ID 6ec40bc934e109fc2151934f521f5e917c4c05b9
# Parent  e893e45219c31c37418a549d0c89f4dd0cc33a18
fixed spelling

diff -r e893e45219c3 -r 6ec40bc934e1 NEWS
--- a/NEWS	Fri Jul 02 10:45:25 2010 +0200
+++ b/NEWS	Fri Jul 02 10:47:50 2010 +0200
@@ -18,7 +18,7 @@
 *** HOL ***
 
 * Abolished symbol type names:  "prod" and "sum" replace "*" and "+"
-respectively.  INCOMPATBILITY.
+respectively.  INCOMPATIBILITY.
 
 * Constant "split" has been merged with constant "prod_case";  names
 of ML functions, facts etc. involving split have been retained so far,