| changeset 8271 | 7602b57ba028 |
| parent 8203 | 2fcc6017cb72 |
| child 8283 | 0a319c5746eb |
--- a/NEWS Mon Feb 21 14:09:18 2000 +0100 +++ b/NEWS Mon Feb 21 14:09:40 2000 +0100 @@ -24,6 +24,9 @@ * Algebra: new theory of rings and univariate polynomials, by Clemens Ballarin; +* HOL/record: fixed select-update simplification procedure to handle +extended records as well; + New in Isabelle99 (October 1999)