Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
CONTRIBUTION: add fabians work
authorhoelzl
Wed, 21 Nov 2012 11:08:56 +0100
changeset 50142 bc82d25af543
parent 50141 15523888c11b
child 50143 4ff5d795ed08
CONTRIBUTION: add fabians work
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- 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.
isabelle