# HG changeset patch
# User wenzelm
# Date 1635253900 -7200
# Node ID ee92a47b47cbf214c319128bb14e472491712f7c
# Parent  3cc363e8bfb27d04a0945fccd360cec463a2284f
more CONTRIBUTORS and NEWS;

diff -r 3cc363e8bfb2 -r ee92a47b47cb CONTRIBUTORS
--- a/CONTRIBUTORS	Tue Oct 19 10:41:38 2021 +0200
+++ b/CONTRIBUTORS	Tue Oct 26 15:11:40 2021 +0200
@@ -22,6 +22,9 @@
   complex numbers (theory HOL-Library.Complex_Order), and products of uniform
   spaces (theory HOL-Analysis.Product_Vector).
 
+* November 2020 / July 2021: Norbert Schirmer, Apple
+  Various improvements and cleanup of session "HOL-Statespace".
+
 * July 2021: Florian Haftmann
   Further consolidation of bit operations and word types.
 
diff -r 3cc363e8bfb2 -r ee92a47b47cb NEWS
--- a/NEWS	Tue Oct 19 10:41:38 2021 +0200
+++ b/NEWS	Tue Oct 26 15:11:40 2021 +0200
@@ -287,6 +287,8 @@
 * Theory "HOL-Combinatorics.Transposition" provides elementary swap
 operation "transpose".
 
+* Session "HOL-Statespace": various improvements and cleanup.
+
 
 *** ML ***