| 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 |