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.