# HG changeset patch
# User hoelzl
# Date 1353492536 -3600
# Node ID bc82d25af543dfafbb3eaf470ec6b3f35b9c22bf
# Parent  15523888c11bf090e74ae50a4502dd7b14af0731
CONTRIBUTION: add fabians work

diff -r 15523888c11b -r bc82d25af543 CONTRIBUTORS
--- 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.