CONTRIBUTORS
changeset 64433 d4829dc875fb
parent 64393 17a7543fadad
child 64439 2bafda87b524
child 64551 79e9587dbcca
     1.1 --- a/CONTRIBUTORS	Mon Oct 31 14:21:23 2016 +0100
     1.2 +++ b/CONTRIBUTORS	Mon Oct 31 15:48:27 2016 +0100
     1.3 @@ -52,6 +52,11 @@
     1.4    Tight Poly/ML integration.
     1.5    More Isabelle/Scala system programming modules (e.g. SSH, Mercurial).
     1.6  
     1.7 +* Winter 2016: Jasmin Blanchette, Inria & LORIA & MPII, Aymeric Bouzy,
     1.8 +  Ecole polytechnique, Andreas Lochbihler, ETH Zurich, Andrei Popescu,
     1.9 +  Middlesex University, and Dmitriy Traytel, ETH Zurich
    1.10 +  'corec' command and friends.
    1.11 +
    1.12  * January 2016: Florian Haftmann, TUM
    1.13    Abolition of compound operators INFIMUM and SUPREMUM for complete lattices.
    1.14  
    1.15 @@ -59,11 +64,6 @@
    1.16  Contributions to Isabelle2016
    1.17  -----------------------------
    1.18  
    1.19 -* Winter 2016: Jasmin Blanchette, Inria & LORIA & MPII, Aymeric Bouzy,
    1.20 -  Ecole polytechnique, Andreas Lochbihler, ETH Zurich, Andrei Popescu,
    1.21 -  Middlesex University, and Dmitriy Traytel, ETH Zurich
    1.22 -  'corec' command and friends.
    1.23 -
    1.24  * Winter 2016: Manuel Eberl, TUM
    1.25    Support for real exponentiation ("powr") in the "approximation" method.
    1.26    (This was removed in Isabelle 2015 due to a changed definition of "powr".)