| Tue, 15 Apr 2025 15:17:25 +0200 | Manuel Eberl | new lemmas for HOL-Complex_Analysis; overhaul of isolated_zeros | file | diff | annotate |
| Fri, 21 Mar 2025 10:45:56 +0000 | paulson | New theorems, mostly from the number theory project | file | diff | annotate |
| Wed, 22 Jan 2025 22:22:27 +0000 | paulson | more tidying | file | diff | annotate |
| Thu, 21 Mar 2024 14:19:39 +0000 | paulson | New material from a variety of sources (including AFP) | file | diff | annotate |
| 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 |