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