| Thu, 08 Nov 2018 09:11:52 +0100 | haftmann | removed relics of ASCII syntax for indexed big operators | file | diff | annotate |
| Thu, 28 Jun 2018 17:14:40 +0100 | paulson | Incorporating new/strengthened proofs from Library and AFP entries | file | diff | annotate |
| Thu, 20 Oct 2016 18:42:01 +0200 | hoelzl | HOL-Probability: generalize theorems about cumulative distribution function | file | diff | annotate |
| Sun, 02 Oct 2016 14:07:43 +0200 | wenzelm | updated headers; | file | diff | annotate |
| Fri, 30 Sep 2016 15:35:32 +0200 | hoelzl | HOL-Analysis: move Continuum_Not_Denumerable from Library | file | diff | annotate |
| Tue, 12 Jul 2016 19:12:17 +0200 | wenzelm | more standard name; | file | diff | annotate |
| Tue, 14 Jun 2016 12:18:45 +0200 | hoelzl | Probability: tuned headers; cleanup Radon_Nikodym | file | diff | annotate |