| Tue, 25 Oct 2016 15:46:07 +0100 | paulson | more new material | file | diff | annotate |
| Tue, 18 Oct 2016 19:12:40 +0100 | paulson | Inserted necessary dependency | file | diff | annotate |
| 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 | base |