CONTRIBUTORS
changeset 50184 5a16f42a9b44
parent 50142 bc82d25af543
child 50219 f6b95f0bba78
equal deleted inserted replaced
50183:2b3e24e1c9e7 50184:5a16f42a9b44
     8 
     8 
     9 * 2012: Makarius Wenzel, Université Paris-Sud / LRI
     9 * 2012: Makarius Wenzel, Université Paris-Sud / LRI
    10   Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
    10   Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
    11 
    11 
    12 * November 2012: Fabian Immler, TUM
    12 * November 2012: Fabian Immler, TUM
    13   Proof of the Daniell-Kolmogorov theorem: the existence of the limit of
    13   "Symbols" dockable for Isabelle/jEdit.
    14   projective families.
    14 
       
    15 * November 2012: Fabian Immler, TUM
       
    16   Proof of the Daniell-Kolmogorov theorem: the existence of the limit
       
    17   of projective families.
    15 
    18 
    16 * October 2012: Andreas Lochbihler, KIT
    19 * October 2012: Andreas Lochbihler, KIT
    17   Efficient construction of red black trees from sorted associative lists.
    20   Efficient construction of red-black trees from sorted associative
       
    21   lists.
    18 
    22 
    19 * September 2012: Florian Haftmann, TUM
    23 * September 2012: Florian Haftmann, TUM
    20   Lattice instances for type option.
    24   Lattice instances for type option.
    21 
    25 
    22 * September 2012: Christian Sternagel, JAIST
    26 * September 2012: Christian Sternagel, JAIST