changeset 50142 | bc82d25af543 |
parent 49770 | cf6a78acf445 |
child 50184 | 5a16f42a9b44 |
--- a/CONTRIBUTORS Wed Nov 21 10:57:50 2012 +0100 +++ b/CONTRIBUTORS Wed Nov 21 11:08:56 2012 +0100 @@ -9,6 +9,10 @@ * 2012: Makarius Wenzel, Université Paris-Sud / LRI Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE. +* November 2012: Fabian Immler, TUM + Proof of the Daniell-Kolmogorov theorem: the existence of the limit of + projective families. + * October 2012: Andreas Lochbihler, KIT Efficient construction of red black trees from sorted associative lists.