CONTRIBUTION: add fabians work
authorhoelzl
Wed Nov 21 11:08:56 2012 +0100 (2012-11-21)
changeset 50142bc82d25af543
parent 50141 15523888c11b
child 50143 4ff5d795ed08
CONTRIBUTION: add fabians work
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Wed Nov 21 10:57:50 2012 +0100
     1.2 +++ b/CONTRIBUTORS	Wed Nov 21 11:08:56 2012 +0100
     1.3 @@ -9,6 +9,10 @@
     1.4  * 2012: Makarius Wenzel, Université Paris-Sud / LRI
     1.5    Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
     1.6  
     1.7 +* November 2012: Fabian Immler, TUM
     1.8 +  Proof of the Daniell-Kolmogorov theorem: the existence of the limit of
     1.9 +  projective families.
    1.10 +
    1.11  * October 2012: Andreas Lochbihler, KIT
    1.12    Efficient construction of red black trees from sorted associative lists.
    1.13