| Mon, 21 Aug 2023 18:38:25 +0100 | paulson | Numerous minor tweaks and simplifications | file | diff | annotate |
| Mon, 20 Feb 2023 15:19:53 +0000 | paulson | Replacing z powr of_int i by z powi i and adding new material from the AFP | file | diff | annotate |
| Thu, 16 Feb 2023 12:21:21 +0000 | paulson | More of Eberl's contributions: memomorphic functions | file | diff | annotate |
| Wed, 08 Feb 2023 15:05:24 +0000 | paulson | Lots of new material chiefly about complex analysis | file | diff | annotate |
| Mon, 04 Jan 2021 20:42:58 +0100 | Manuel Eberl | HOL-Complex_Analysis: coefficient asymptotics for meromorphic functions | file | diff | annotate |
| Mon, 02 Dec 2019 17:51:54 +0100 | Manuel Eberl | Reorganised HOL-Complex_Analysis | file | diff | annotate |