# HG changeset patch
# User wenzelm
# Date 1662154929 -7200
# Node ID b80f33e5323fd66407558abc5ea3e17df8774d2e
# Parent  e076b1b42c44a1cbd1b90f2abc1d80ef57f65d98
more CONTRIBUTORS + NEWS;

diff -r e076b1b42c44 -r b80f33e5323f CONTRIBUTORS
--- a/CONTRIBUTORS	Fri Sep 02 23:41:54 2022 +0200
+++ b/CONTRIBUTORS	Fri Sep 02 23:42:09 2022 +0200
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* August 2022: Norbert Schirmer, Apple
+  Record simproc that sorts update expressions.
+
 * June 2022: Jan van Brügge, TU München
   Strict cardinality bounds for BNFs.
 
diff -r e076b1b42c44 -r b80f33e5323f NEWS
--- a/NEWS	Fri Sep 02 23:41:54 2022 +0200
+++ b/NEWS	Fri Sep 02 23:42:09 2022 +0200
@@ -66,6 +66,10 @@
 
 *** HOL ***
 
+* HOL record: new simproc that sorts update expressions, guarded by
+configuration option "record_sort_updates" (default: false). Some
+examples are in theory "HOL-Examples.Records".
+
 * HOL-Algebra: Facts renamed to avoid fact name clashes on interpretation:
 
     is_ring ~> ring_axioms