| Thu, 13 Oct 2016 14:15:34 +0200 | Lars Hupel | remove accidentally oops'ed (and wrong) lemma | file | diff | annotate |
| Fri, 16 Sep 2016 18:44:18 +0200 | Lars Hupel | tuned proofs | file | diff | annotate |
| Thu, 15 Sep 2016 22:41:05 +0200 | Lars Hupel | new type for finite maps; use it in HOL-Probability | file | diff | annotate |