| Wed, 11 May 2016 16:13:17 +0200 | immler | introduced class topological_group between topological_monoid and real_normed_vector | changeset | files |
| Tue, 10 May 2016 22:25:06 +0200 | wenzelm | find dynamic facts as well, but static ones are preferred; | changeset | files |
| Tue, 10 May 2016 15:48:37 +0200 | immler | some slight generalizations | changeset | files |
| Tue, 10 May 2016 14:04:44 +0100 | paulson | Theory of polyhedra: faces, extreme points, polytopes, and the Krein–Milman | changeset | files |
| Tue, 10 May 2016 11:56:23 +0100 | paulson | two new lemmas about segments | changeset | files |
| Mon, 09 May 2016 17:32:26 +0100 | paulson | Merge | changeset | files |