tuned;
authorwenzelm
Tue Feb 11 15:41:40 2020 +0100 (2 weeks ago)
changeset 714378fd1936490bc
parent 71436 2e1b0ee920f5
child 71438 22158ebde77f
tuned;
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Tue Feb 11 15:39:05 2020 +0100
     1.2 +++ b/CONTRIBUTORS	Tue Feb 11 15:41:40 2020 +0100
     1.3 @@ -6,8 +6,12 @@
     1.4  Contributions to this Isabelle2020
     1.5  ----------------------------------
     1.6  
     1.7 -* 2019: Makarius Wenzel
     1.8 -  More scalable Isabelle dump and underlying headless PIDE session.
     1.9 +* February 2020: E. Gunther, M. Pagano and P. Sánchez Terraf
    1.10 +  Simplified, generalised version of ZF/Constructible.
    1.11 +
    1.12 +* January 2020: LC Paulson
    1.13 +  The full finite Ramsey's theorem and elements of finite and infinite
    1.14 +  Ramsey theory.
    1.15  
    1.16  * December 2019:
    1.17    Basil Fürer, Andreas Lochbihler, Joshua Schneider, Dmitriy Traytel
    1.18 @@ -16,19 +20,14 @@
    1.19  * October 2019: Maximilian Schäffeler
    1.20    Port of the HOL Light decision procedure for metric spaces.
    1.21  
    1.22 -* January 2020: LC Paulson
    1.23 -  The full finite Ramsey's theorem and elements of finite and infinite 
    1.24 -  Ramsey theory.
    1.25 -
    1.26 -* February 2020: E. Gunther, M. Pagano and P. Sánchez Terraf
    1.27 -  Simplified, generalised version of ZF/Constructible.
    1.28 +* October 2019: Makarius Wenzel
    1.29 +  More scalable Isabelle dump and underlying headless PIDE session.
    1.30  
    1.31  * July 2019: Alexander Krauss, Makarius Wenzel
    1.32    Minimal support for a soft-type system within the Isabelle logical
    1.33    framework.
    1.34  
    1.35  
    1.36 -
    1.37  Contributions to Isabelle2019
    1.38  -----------------------------
    1.39