| Tue, 18 Oct 2016 17:29:28 +0200 | hoelzl | HOL-Analysis: move Function Topology from AFP/Ergodict_Theory; HOL-Probability: move Essential Supremum from AFP/Lp | file | diff | annotate |
| Thu, 13 Oct 2016 18:36:06 +0200 | hoelzl | HOL-Probability: move conditional expectation from AFP/Ergodic_Theory | file | diff | annotate |
| Thu, 18 Aug 2016 11:00:36 +0200 | hoelzl | HOL-Probability: Projective_Limit was missing (cf. 44ce6b524ff3); tuned | file | diff | annotate |