| Wed, 07 Oct 2015 17:11:16 +0200 | hoelzl | cleanup projective limit of probability distributions; proved Ionescu-Tulcea; used it to prove infinite prob. distribution | file | diff | annotate |
| Sun, 13 Sep 2015 20:20:16 +0200 | wenzelm | renamed method "goals" to "goal_cases" to emphasize its meaning; | file | diff | annotate |
| Thu, 23 Jul 2015 16:40:47 +0200 | hoelzl | Measures form a CCPO | file | diff | annotate |
| Thu, 16 Jul 2015 10:48:20 +0200 | hoelzl | move disjoint sets to their own theory | file | diff | annotate |
| Mon, 13 Jul 2015 14:40:16 +0200 | hoelzl | add emeasure_add_AE | file | diff | annotate |
| Mon, 13 Jul 2015 14:39:50 +0200 | hoelzl | stronger induction assumption in lfp_transfer and emeasure_lfp | file | diff | annotate |
| Fri, 03 Jul 2015 08:26:34 +0200 | hoelzl | add named theorems order_continuous_intros; lfp/gfp_funpow; bounded variant for lfp/gfp transfer | file | diff | annotate |