| Sat, 12 Aug 2023 10:09:29 +0100 | paulson | substantial tidy-up, shortening many proofs | file | diff | annotate |
| Sun, 01 Jan 2023 00:45:55 +0000 | paulson | Big simplifications of old proofs | file | diff | annotate |
| Fri, 03 Sep 2021 22:52:51 +0100 | paulson | some fixes connected with card_Diff_singleton | file | diff | annotate |
| 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 |