| Thu, 05 Jan 2017 15:03:37 +0000 | paulson | connectedness, circles not simply connected , punctured universe | file | diff | annotate |
| Sat, 19 Nov 2016 20:10:32 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Wed, 26 Oct 2016 12:22:58 +0100 | paulson | Deleted spurious markup | file | diff | annotate |
| Tue, 25 Oct 2016 16:30:13 +0100 | paulson | more new material | file | diff | annotate |
| 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 |