NEWS: ax_simps

--- a/NEWS	Mon Feb 08 14:12:50 2010 +0100
+++ b/NEWS	Mon Feb 08 14:22:22 2010 +0100
@@ -12,6 +12,9 @@
 
 *** HOL ***
 
+* New set of rules "ac_simps" provides combined assoc / commute rewrites
+for all interpretations of the appropriate generic locales.
+
 * More consistent naming of type classes involving orderings (and lattices):
 
     lower_semilattice                   ~> semilattice_inf