NEWS
changeset 25942 a52309ac4a4d
parent 25919 8b1c0d434824
child 25961 ec39d7e40554
     1.1 --- a/NEWS	Tue Jan 22 23:06:58 2008 +0100
     1.2 +++ b/NEWS	Tue Jan 22 23:07:21 2008 +0100
     1.3 @@ -25,6 +25,9 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* New class semiring_div provides basic abstract properties of semirings
     1.8 +with division and modulo operations.  Subsumes former class dvd_mod.
     1.9 +
    1.10  * Merged theories IntDef, Numeral and IntArith into unified theory Int.
    1.11  INCOMPATIBILITY.
    1.12