Fri, 29 Jul 2016 20:34:07 +0200 | wenzelm | more accurate cong del; | file | diff | annotate |
Fri, 22 Jul 2016 11:00:43 +0200 | wenzelm | tuned proofs -- avoid unstructured calculation; | file | diff | annotate |
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 |