| Fri, 04 Apr 2025 16:37:58 +0100 | paulson | Inserted more of Manuel Eberl's material | file | diff | annotate |
| Wed, 27 Sep 2023 13:34:15 +0100 | paulson | Importing or moving a few more useful theorems | file | diff | annotate |
| Mon, 21 Aug 2023 18:38:25 +0100 | paulson | Numerous minor tweaks and simplifications | file | diff | annotate |
| Mon, 16 Nov 2020 20:56:44 +0000 | paulson | de-applying and tidying | file | diff | annotate |
| Mon, 05 Oct 2020 20:58:23 +0100 | paulson | still not quite fixed... | file | diff | annotate |
| Mon, 05 Oct 2020 18:48:41 +0100 | paulson | A few more reversions | file | diff | annotate |
| Mon, 05 Oct 2020 12:47:19 +0100 | paulson | more tidying of messy proofs | file | diff | annotate |
| Mon, 02 Dec 2019 17:51:54 +0100 | Manuel Eberl | Reorganised HOL-Complex_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 |