NEWS
changeset 23481 93dca7620d0d
parent 23480 8d01ccdc3652
child 23495 e4dd6beeafab
     1.1 --- a/NEWS	Sun Jun 24 20:18:20 2007 +0200
     1.2 +++ b/NEWS	Sun Jun 24 20:47:05 2007 +0200
     1.3 @@ -605,7 +605,7 @@
     1.4  
     1.5  * New lemma collection field_simps (an extension of ring_simps)
     1.6    for manipulating (in)equations involving division. Multiplies
     1.7 -  with all denominators which can be proved to be non-zero (in equations)
     1.8 +  with all denominators that can be proved to be non-zero (in equations)
     1.9    or positive/negative (in inequations).
    1.10  
    1.11  * Lemma collections ring_eq_simps, group_eq_simps and ring_distrib