# HG changeset patch # User wenzelm # Date 951138580 -3600 # Node ID 7602b57ba02848a44edfb7f9c665b03debaad9ad # Parent 8f5767370f69be46ad703d8bd264357995c4ec8b HOL/record: fixed select-update simplification procedure to handle extended records as well; diff -r 8f5767370f69 -r 7602b57ba028 NEWS --- 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)