| Thu, 28 Mar 2024 13:32:57 +0000 | paulson | An assortment of new material, mostly due to Manuel | file | diff | annotate |
| Thu, 03 Aug 2023 19:10:36 +0200 | paulson | More cosmetic changes | file | diff | annotate |
| Tue, 31 Jan 2023 14:05:16 +0000 | paulson | Lots more new material thanks to Manuel Eberl | file | diff | annotate |
| Mon, 02 Dec 2019 14:22:28 +0100 | Manuel Eberl | Removed duplicate theorems from HOL-Analysis | file | diff | annotate |
| Sat, 30 Nov 2019 13:47:33 +0100 | Manuel Eberl | Split off new HOL-Complex_Analysis session from HOL-Analysis | file | diff | annotate |