src/HOL/ATP.thy

--- a/src/HOL/ATP.thy	Thu Dec 10 16:26:54 2020 +0100
+++ b/src/HOL/ATP.thy	Thu Dec 10 19:08:12 2020 +0100
@@ -1,6 +1,7 @@
 (*  Title:      HOL/ATP.thy
     Author:     Fabian Immler, TU Muenchen
     Author:     Jasmin Blanchette, TU Muenchen
+    Author:     Martin Desharnais, UniBw Muenchen
 *)
 
 section \<open>Automatic Theorem Provers (ATPs)\<close>