| Thu, 04 Aug 2016 19:36:31 +0200 | hoelzl | HOL-Multivariate_Analysis: rename theories for more descriptive names | file | diff | annotate |
| Fri, 22 Jul 2016 11:00:43 +0200 | wenzelm | tuned proofs -- avoid unstructured calculation; | file | diff | annotate |
| Wed, 13 Jul 2016 17:14:17 +0100 | paulson | lots of new theorems about differentiable_on, retracts, ANRs, etc. | file | diff | annotate |
| Wed, 15 Jun 2016 15:52:24 +0100 | paulson | Urysohn's lemma, Dugundji extension theorem and many other proofs | file | diff | annotate |
| Tue, 14 Jun 2016 15:34:21 +0100 | paulson | new results about topology | file | diff | annotate |
| Wed, 25 May 2016 16:38:35 +0100 | paulson | updated proof of Residue Theorem (form Wenda Li) | file | diff | annotate |
| Mon, 23 May 2016 16:03:29 +0100 | paulson | deleted stray thm command | file | diff | annotate |