| 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 |