| Fri, 13 Apr 2018 15:58:27 +0100 | paulson | Probability builds with new definitions | file | diff | annotate |
| Tue, 19 Dec 2017 13:58:12 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Thu, 13 Oct 2016 18:36:06 +0200 | hoelzl | HOL-Probability: move conditional expectation from AFP/Ergodic_Theory | file | diff | annotate |