NEWS
changeset 23509 14a2f87ccc73
parent 23495 e4dd6beeafab
child 23562 6cad6b400cfd
     1.1 --- a/NEWS	Tue Jun 26 18:32:53 2007 +0200
     1.2 +++ b/NEWS	Wed Jun 27 11:06:43 2007 +0200
     1.3 @@ -610,6 +610,9 @@
     1.4  
     1.5  * Lemma collections ring_eq_simps, group_eq_simps and ring_distrib
     1.6    have been improved and renamed to ring_simps, group_simps and ring_distribs.
     1.7 +  Removed lemmas field_xyz in Ring_and_Field
     1.8 +  because they were subsumed by lemmas xyz.
     1.9 +INCOMPATIBILITY.
    1.10  
    1.11  * Library/Pretty_Int.thy: maps HOL numerals on target language integer literals
    1.12    when generating code.