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