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.