| Tue, 22 Apr 2025 17:35:02 +0100 | paulson | More tidying and some variable renaming | file | diff | annotate |
| 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 |
| Thu, 28 Mar 2024 13:32:57 +0000 | paulson | An assortment of new material, mostly due to Manuel | file | diff | annotate |
| Thu, 16 Feb 2023 12:21:21 +0000 | paulson | More of Eberl's contributions: memomorphic functions | file | diff | annotate |
| Tue, 03 Jan 2023 11:30:37 +0000 | paulson | Fixed a couple of simple_path occurrences | file | diff | annotate |
| Tue, 17 May 2022 14:10:14 +0100 | paulson | tidied auto / simp with null arguments | file | diff | annotate |