# HG changeset patch
# User wenzelm
# Date 935419908 -7200
# Node ID 596318fdb379d702b552deafca878abf15298982
# Parent  a1555491a96676c65ba4e8931c2fe222b81b2ede
tuned;

diff -r a1555491a966 -r 596318fdb379 NEWS
--- a/NEWS	Mon Aug 23 16:50:10 1999 +0200
+++ b/NEWS	Mon Aug 23 16:51:48 1999 +0200
@@ -163,13 +163,12 @@
 
 * HOL/record: record_simproc (part of the default simpset) takes care
 of selectors applied to updated records; record_split_tac is no longer
-part of the default claset; COMPATIBILITY:
+part of the default claset; update_defs may now be removed from the
+simpset in many cases; COMPATIBILITY: old behavior achieved by
 
   claset_ref () := claset() addSWrapper record_split_wrapper;
   Delsimprocs [record_simproc]
 
-achieve the old bahaviour;
-
 * HOL/typedef: fixed type inference for representing set; type
 arguments now have to occur explicitly on the rhs as type constraints;