| Thu, 04 Mar 2021 22:44:31 +0100 | wenzelm | tuned proofs; | file | diff | annotate |
| Tue, 10 Nov 2020 23:21:04 +0000 | paulson | cleanup | file | diff | annotate |
| Sat, 17 Oct 2020 11:32:03 +0100 | paulson | type class reduction | file | diff | annotate |
| 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 |