# HG changeset patch
# User nipkow
# Date 1182935203 -7200
# Node ID 14a2f87ccc73b280deecde16bcd55390fd155bc8
# Parent  702e27cabe82b2bb68b755e2eb8d7856bf36cc29
*** empty log message ***

diff -r 702e27cabe82 -r 14a2f87ccc73 NEWS
--- a/NEWS	Tue Jun 26 18:32:53 2007 +0200
+++ b/NEWS	Wed Jun 27 11:06:43 2007 +0200
@@ -610,6 +610,9 @@
 
 * Lemma collections ring_eq_simps, group_eq_simps and ring_distrib
   have been improved and renamed to ring_simps, group_simps and ring_distribs.
+  Removed lemmas field_xyz in Ring_and_Field
+  because they were subsumed by lemmas xyz.
+INCOMPATIBILITY.
 
 * Library/Pretty_Int.thy: maps HOL numerals on target language integer literals
   when generating code.