changeset 71436 | 2e1b0ee920f5 |
parent 71435 | d8fb621fea02 |
child 71437 | 8fd1936490bc |
--- 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