| Thu, 04 Aug 2016 18:45:28 +0200 | hoelzl | HOL-Multivariate_Analysis: replace neutral, monoidal, and iterate by the comm_monoid_set versions. Changed operative to comm_monoid_set. Renamed support_on to support and changed to comm_monoid_add. | file | diff | annotate |
| Fri, 22 Jul 2016 11:00:43 +0200 | wenzelm | tuned proofs -- avoid unstructured calculation; | file | diff | annotate |
| Thu, 14 Jul 2016 14:48:49 +0100 | paulson | More advanced theorems about retracts, homotopies., etc | 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:54:28 +0100 | paulson | Merge | file | diff | annotate |