| Tue, 13 Oct 2015 09:21:15 +0200 | haftmann | prod_case as canonical name for product type eliminator | file | diff | annotate |
| Sun, 13 Sep 2015 22:56:52 +0200 | wenzelm | tuned proofs -- less legacy; | file | diff | annotate |
| Wed, 17 Jun 2015 18:44:23 +0200 | hoelzl | generalized geometric distribution | file | diff | annotate |
| Sat, 27 Jun 2015 00:10:24 +0200 | wenzelm | premises in 'show' are treated like 'assume'; | file | diff | annotate |
| Wed, 17 Jun 2015 17:21:11 +0200 | nipkow | renamed Multiset.set_of to the canonical set_mset | file | diff | annotate |
| Tue, 14 Apr 2015 14:15:10 +0200 | Andreas Lochbihler | add various lemmas about pmfs | file | diff | annotate |
| Tue, 17 Mar 2015 12:23:56 +0000 | paulson | Merge | file | diff | annotate |