| Fri, 18 Apr 2025 10:58:16 +0200 | Manuel Eberl | moved some lemmas to where they fit better | 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, 04 Apr 2025 16:37:58 +0100 | paulson | Inserted more of Manuel Eberl's material | file | diff | annotate |