| Mon, 21 Aug 2023 18:38:25 +0100 | paulson | Numerous minor tweaks and simplifications | file | diff | annotate |
| Fri, 03 Mar 2023 12:21:58 +0000 | paulson | More of Eberl's material | file | diff | annotate |
| Wed, 08 Feb 2023 15:05:24 +0000 | paulson | Lots of new material chiefly about complex analysis | file | diff | annotate |
| Tue, 03 Jan 2023 11:30:37 +0000 | paulson | Fixed a couple of simple_path occurrences | file | diff | annotate |
| Thu, 03 Jun 2021 10:47:20 +0100 | paulson | new lemmas mostly about paths | file | diff | annotate |
| Sun, 20 Sep 2020 15:45:14 +0100 | paulson | de-applying and simplifying | file | diff | annotate |
| Mon, 02 Dec 2019 17:51:54 +0100 | Manuel Eberl | Reorganised HOL-Complex_Analysis | file | diff | annotate |