--- 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.
--- 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 ***