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