src/HOL/Statespace/state_fun.ML

--- a/src/HOL/Statespace/state_fun.ML	Thu Jul 15 08:09:10 2021 +0200
+++ b/src/HOL/Statespace/state_fun.ML	Tue Oct 19 10:41:38 2021 +0200
@@ -1,5 +1,6 @@
 (*  Title:      HOL/Statespace/state_fun.ML
-    Author:     Norbert Schirmer, TU Muenchen
+    Author:     Norbert Schirmer, TU Muenchen, 2007
+    Author:     Norbert Schirmer, Apple, 2021
 *)
 
 signature STATE_FUN =