| 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 |
| Thu, 09 Feb 2023 15:36:06 +0000 | paulson | Even more new material from Eberl and Li | file | diff | annotate |
| Thu, 09 Feb 2023 13:36:25 +0000 | paulson | More material for Analysis and Complex_Analysis | file | diff | annotate |
| Wed, 08 Feb 2023 15:05:24 +0000 | paulson | Lots of new material chiefly about complex analysis | file | diff | annotate |
| Wed, 04 Jan 2023 19:06:16 +0000 | paulson | final tidying of theorems | file | diff | annotate |
| Wed, 04 Jan 2023 10:27:19 +0000 | paulson | continued proof simplification | file | diff | annotate |