NEWS

--- a/NEWS	Thu Oct 23 16:25:08 2014 +0200
+++ b/NEWS	Fri Oct 24 15:07:49 2014 +0200
@@ -49,6 +49,8 @@
 
 *** HOL ***
 
+* Add NO_MATCH-simproc, allows to check for syntactic non-equality
+
 * Generalized and consolidated some theorems concerning divsibility:
   dvd_reduce ~> dvd_add_triv_right_iff
   dvd_plus_eq_right ~> dvd_add_right_iff