diff -r d8fb621fea02 -r 2e1b0ee920f5 CONTRIBUTORS
--- a/CONTRIBUTORS	Tue Feb 11 12:55:35 2020 +0000
+++ b/CONTRIBUTORS	Tue Feb 11 15:39:05 2020 +0100
@@ -23,6 +23,10 @@
 * February 2020: E. Gunther, M. Pagano and P. Sánchez Terraf
   Simplified, generalised version of ZF/Constructible.
 
+* July 2019: Alexander Krauss, Makarius Wenzel
+  Minimal support for a soft-type system within the Isabelle logical
+  framework.
+
 
 
 Contributions to Isabelle2019