CONTRIBUTORS
changeset 62693 0ae225877b68
parent 62652 7248d106c607
child 62731 b751a43c5001
equal deleted inserted replaced
62692:0701f25fac39 62693:0ae225877b68
    18   admissibility in chain-complete partial orders.
    18   admissibility in chain-complete partial orders.
    19 
    19 
    20 Contributions to Isabelle2016
    20 Contributions to Isabelle2016
    21 -----------------------------
    21 -----------------------------
    22 
    22 
       
    23 * Winter 2016: Jasmin Blanchette, Inria & LORIA & MPII, Aymeric Bouzy,
       
    24   Ecole polytechnique, Andreas Lochbihler, ETH Zurich, and Dmitriy Traytel,
       
    25   ETH Zurich
       
    26   'corec' command and friends.
       
    27 
    23 * Winter 2016: Manuel Eberl, TUM
    28 * Winter 2016: Manuel Eberl, TUM
    24   Support for real exponentiation ("powr") in the "approximation" method.
    29   Support for real exponentiation ("powr") in the "approximation" method.
    25   (This was removed in Isabelle 2015 due to a changed definition of "powr")
    30   (This was removed in Isabelle 2015 due to a changed definition of "powr".)
    26 
    31 
    27 * Summer 2015 - Winter 2016: Lawrence C Paulson, Cambridge
    32 * Summer 2015 - Winter 2016: Lawrence C Paulson, Cambridge
    28   General, homology form of Cauchy's integral theorem and supporting material
    33   General, homology form of Cauchy's integral theorem and supporting material
    29   (ported from HOL Light).
    34   (ported from HOL Light).
    30 
    35