CONTRIBUTORS
changeset 62693 0ae225877b68
parent 62652 7248d106c607
child 62731 b751a43c5001
     1.1 --- a/CONTRIBUTORS	Tue Mar 22 12:39:37 2016 +0100
     1.2 +++ b/CONTRIBUTORS	Tue Mar 22 12:39:37 2016 +0100
     1.3 @@ -20,9 +20,14 @@
     1.4  Contributions to Isabelle2016
     1.5  -----------------------------
     1.6  
     1.7 +* Winter 2016: Jasmin Blanchette, Inria & LORIA & MPII, Aymeric Bouzy,
     1.8 +  Ecole polytechnique, Andreas Lochbihler, ETH Zurich, and Dmitriy Traytel,
     1.9 +  ETH Zurich
    1.10 +  'corec' command and friends.
    1.11 +
    1.12  * Winter 2016: Manuel Eberl, TUM
    1.13    Support for real exponentiation ("powr") in the "approximation" method.
    1.14 -  (This was removed in Isabelle 2015 due to a changed definition of "powr")
    1.15 +  (This was removed in Isabelle 2015 due to a changed definition of "powr".)
    1.16  
    1.17  * Summer 2015 - Winter 2016: Lawrence C Paulson, Cambridge
    1.18    General, homology form of Cauchy's integral theorem and supporting material