*** empty log message ***
authornipkow
Sun Jun 24 10:33:49 2007 +0200 (2007-06-24)
changeset 2347826a5ef187e8b
parent 23477 f4b83f03cac9
child 23479 10adbdcdc65b
*** empty log message ***
NEWS
     1.1 --- a/NEWS	Sat Jun 23 19:33:22 2007 +0200
     1.2 +++ b/NEWS	Sun Jun 24 10:33:49 2007 +0200
     1.3 @@ -603,6 +603,9 @@
     1.4    [x <- xs. P] to avoid an ambiguity caused by list comprehension syntax,
     1.5    and for uniformity. INCOMPATIBILITY
     1.6  
     1.7 +* The lemma collections ring_eq_simps, group_eq_simps and ring_distrib
     1.8 +  have been improved and renamed to ring_simps, group_simps and ring_distribs.
     1.9 +
    1.10  * Library/Pretty_Int.thy: maps HOL numerals on target language integer literals
    1.11      when generating code.
    1.12