# 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)