| Thu, 14 May 2020 13:44:44 +0200 | Manuel Eberl | Tuned some proofs in HOL-Analysis | file | diff | annotate |
| Fri, 06 Dec 2019 14:36:11 +0100 | nipkow | tuned | file | diff | annotate |
| Thu, 05 Dec 2019 21:03:06 +0100 | nipkow | separated Affine theory from Convex | file | diff | annotate |