CONTRIBUTORS
changeset 44901 ed5ddf9fcc77
parent 44900 1a4ea8c5399a
child 44908 f05bff62f8a6
equal deleted inserted replaced
44900:1a4ea8c5399a 44901:ed5ddf9fcc77
    22   of Nitpick and "try".
    22   of Nitpick and "try".
    23 
    23 
    24 * 2011: Andreas Lochbihler, Karlsruhe Institute of Technology
    24 * 2011: Andreas Lochbihler, Karlsruhe Institute of Technology
    25   Theory HOL/Library/Cset_Monad allows do notation for computable
    25   Theory HOL/Library/Cset_Monad allows do notation for computable
    26   sets (cset) via the generic monad ad-hoc overloading facility.
    26   sets (cset) via the generic monad ad-hoc overloading facility.
       
    27 
       
    28 * 2011: Johannes Hölzl, Armin Heller, TUM,
       
    29   and Bogdan Grechuk, Univeristy of Edinburgh
       
    30   Theory HOL/Library/Extended_Reals: real numbers extended with
       
    31   plus and minus infinity.
    27 
    32 
    28 Contributions to Isabelle2011
    33 Contributions to Isabelle2011
    29 -----------------------------
    34 -----------------------------
    30 
    35 
    31 * January 2011: Stefan Berghofer, secunet Security Networks AG
    36 * January 2011: Stefan Berghofer, secunet Security Networks AG