NEWS
changeset 23971 e6d505d5b03d
parent 23920 4288dc7dc248
child 23977 5a3ec03c825b
     1.1 --- a/NEWS	Tue Jul 24 20:34:11 2007 +0200
     1.2 +++ b/NEWS	Tue Jul 24 21:51:18 2007 +0200
     1.3 @@ -754,6 +754,8 @@
     1.4    [x <- xs. P] to avoid an ambiguity caused by list comprehension syntax,
     1.5    and for uniformity. INCOMPATIBILITY
     1.6  
     1.7 +* Lemma "set_take_whileD" renamed to "set_takeWhileD"
     1.8 +
     1.9  * New lemma collection field_simps (an extension of ring_simps)
    1.10    for manipulating (in)equations involving division. Multiplies
    1.11    with all denominators that can be proved to be non-zero (in equations)