# HG changeset patch
# User nipkow
# Date 1182674029 -7200
# Node ID 26a5ef187e8b29f83a7ea7f6f334516698d769a3
# Parent  f4b83f03cac90d25397b33deb98ad7a35600d7d1
*** empty log message ***

diff -r f4b83f03cac9 -r 26a5ef187e8b NEWS
--- a/NEWS	Sat Jun 23 19:33:22 2007 +0200
+++ b/NEWS	Sun Jun 24 10:33:49 2007 +0200
@@ -603,6 +603,9 @@
   [x <- xs. P] to avoid an ambiguity caused by list comprehension syntax,
   and for uniformity. INCOMPATIBILITY
 
+* The lemma collections ring_eq_simps, group_eq_simps and ring_distrib
+  have been improved and renamed to ring_simps, group_simps and ring_distribs.
+
 * Library/Pretty_Int.thy: maps HOL numerals on target language integer literals
     when generating code.