| Fri, 30 Sep 2016 16:08:38 +0200 | hoelzl | HOL-Probability: more about probability, prepare for Markov processes in the AFP | file | diff | annotate |
| Wed, 10 Aug 2016 14:50:59 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Tue, 14 Jun 2016 15:34:21 +0100 | paulson | new results about topology | file | diff | annotate |
| Tue, 24 May 2016 13:57:04 +0100 | paulson | new theorem | file | diff | annotate |
| Fri, 13 May 2016 20:24:10 +0200 | wenzelm | eliminated use of empty "assms"; | file | diff | annotate |
| Thu, 17 Mar 2016 14:48:14 +0100 | hoelzl | more stuff for extended nonnegative real numbers | file | diff | annotate |
| Tue, 23 Feb 2016 16:25:08 +0100 | nipkow | more canonical names | file | diff | annotate |