| Wed, 22 Jun 2016 10:09:20 +0200 | wenzelm | bundle lifting_syntax; | file | diff | annotate |
| Thu, 16 Jun 2016 23:03:27 +0200 | hoelzl | Probability: show that measures form a complete lattice | file | diff | annotate |
| Thu, 16 Jun 2016 16:57:36 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Tue, 07 Jun 2016 15:12:27 +0200 | Andreas Lochbihler | add theory of discrete subprobability distributions | file | diff | annotate |