# HG changeset patch
# User nipkow
# Date 1182710825 -7200
# Node ID 93dca7620d0d4e332999545294116ac36bafde99
# Parent  8d01ccdc3652895ec412672865c53508d4de1843
*** empty log message ***

diff -r 8d01ccdc3652 -r 93dca7620d0d NEWS
--- a/NEWS	Sun Jun 24 20:18:20 2007 +0200
+++ b/NEWS	Sun Jun 24 20:47:05 2007 +0200
@@ -605,7 +605,7 @@
 
 * New lemma collection field_simps (an extension of ring_simps)
   for manipulating (in)equations involving division. Multiplies
-  with all denominators which can be proved to be non-zero (in equations)
+  with all denominators that can be proved to be non-zero (in equations)
   or positive/negative (in inequations).
 
 * Lemma collections ring_eq_simps, group_eq_simps and ring_distrib