# HG changeset patch
# User haftmann
# Date 1265635342 -3600
# Node ID a27b48967b266a1ef818afe08b315bec21ca519a
# Parent  6eb917794a5cf4ce38835616df6033b10c622435
NEWS: ax_simps

diff -r 6eb917794a5c -r a27b48967b26 NEWS
--- 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