HOL/record: fixed select-update simplification procedure to handle
authorwenzelm
Mon Feb 21 14:09:40 2000 +0100 (2000-02-21)
changeset 82717602b57ba028
parent 8270 8f5767370f69
child 8272 1329173b56ed
HOL/record: fixed select-update simplification procedure to handle
extended records as well;
NEWS
     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)