CONTRIBUTORS
changeset 44910 53650b655b47
parent 44908 f05bff62f8a6
child 44967 b94c1614e7d5
equal deleted inserted replaced
44909:1f5d6eb73549 44910:53650b655b47
    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 
    27 
    28 * 2011: Johannes Hölzl, Armin Heller, TUM,
    28 * 2011: Johannes Hölzl, Armin Heller, TUM,
    29   and Bogdan Grechuk, Univeristy of Edinburgh
    29   and Bogdan Grechuk, University of Edinburgh
    30   Theory HOL/Library/Extended_Reals: real numbers extended with
    30   Theory HOL/Library/Extended_Reals: real numbers extended with
    31   plus and minus infinity.
    31   plus and minus infinity.
    32 
    32 
    33 * June 2011: Brian Huffman, Portland State University
    33 * June 2011: Brian Huffman, Portland State University
    34   Proof method 'countable_datatype' for theory Library/Countable.
    34   Proof method 'countable_datatype' for theory Library/Countable.