| Fri, 05 Aug 2016 18:34:57 +0200 | hoelzl | move measure theory from HOL-Probability to HOL-Multivariate_Analysis | file | diff | annotate |
| Thu, 04 Aug 2016 19:36:31 +0200 | hoelzl | HOL-Multivariate_Analysis: rename theories for more descriptive names | file | diff | annotate |
| Tue, 24 May 2016 15:08:07 +0100 | paulson | Merge | file | diff | annotate |
| Tue, 10 May 2016 14:04:44 +0100 | paulson | Theory of polyhedra: faces, extreme points, polytopes, and the Krein–Milman | file | diff | annotate |
| Thu, 25 Feb 2016 13:58:48 +0000 | paulson | Conformal_mappings: a big development in complex analysis (+ some lemmas) | file | diff | annotate |
| Mon, 04 Jan 2016 17:45:36 +0100 | eberlm | Added lots of material on infinite sums, convergence radii, harmonic numbers, Gamma function | file | diff | annotate |
| Mon, 26 Oct 2015 23:41:27 +0000 | paulson | new lemmas about topology, etc., for Cauchy integral formula | file | diff | annotate |