| Tue, 21 Feb 2017 15:04:01 +0000 | paulson | Some new lemmas. Existing lemmas modified to use uniform_limit rather than its expansion | file | diff | annotate |
| Tue, 17 Jan 2017 13:59:10 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Tue, 17 Jan 2017 11:26:21 +0100 | wenzelm | more symbols via abbrevs; | file | diff | annotate |
| Mon, 09 Jan 2017 14:00:13 +0000 | paulson | Advanced topology | 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 |