# HG changeset patch
# User huffman
# Date 1325073337 -3600
# Node ID 2b63c77ba9c3679dd7e5c63ab52f748e1b3ad442
# Parent  d2f179d26133fd5159cd7c9d168f89ba574dbb98
fix typos

diff -r d2f179d26133 -r 2b63c77ba9c3 NEWS
--- a/NEWS	Wed Dec 28 12:52:23 2011 +0100
+++ b/NEWS	Wed Dec 28 12:55:37 2011 +0100
@@ -70,7 +70,7 @@
 it is often sufficent to prune any tinkering with former theorems mem_def
 and Collect_def.
 
-* Theory HOL/Library/AList has been renamed to AList_Impl. INCOMPABILITY.
+* Theory HOL/Library/AList has been renamed to AList_Impl. INCOMPATIBILITY.
 
 * 'datatype' specifications allow explicit sort constraints.
 
@@ -122,13 +122,13 @@
   word_of_int_0_hom ~> word_0_wi
   word_of_int_1_hom ~> word_1_wi
 
-* Clarified attribute "mono_set": pure declararation without modifying
+* Clarified attribute "mono_set": pure declaration without modifying
 the result of the fact expression.
 
 * "Transitive_Closure.ntrancl": bounded transitive closure on
 relations.
 
-* Constant "Set.not_member" now qualifed.  INCOMPATIBILITY.
+* Constant "Set.not_member" now qualified.  INCOMPATIBILITY.
 
 * "sublists" moved to theory More_List.  INCOMPATIBILITY.