| Thu, 03 Jul 2025 13:53:14 +0200 | nipkow | removed duplicate lemma; added the notion of the kernel of a function | file | diff | annotate |
| Wed, 22 Jan 2025 22:22:27 +0000 | paulson | more tidying | file | diff | annotate |
| Mon, 21 Aug 2023 18:38:25 +0100 | paulson | Numerous minor tweaks and simplifications | file | diff | annotate |
| Mon, 03 Jul 2023 11:45:59 +0100 | paulson | EXPERIMENTAL replacement of f ` A <= B by f : A -> B in Analysis | file | diff | annotate |
| Thu, 16 Feb 2023 12:21:21 +0000 | paulson | More of Eberl's contributions: memomorphic functions | file | diff | annotate |
| Thu, 08 Jul 2021 08:42:36 +0200 | desharna | added opaque_combs and renamed hide_lams to opaque_lifting | file | diff | annotate |
| Mon, 02 Dec 2019 17:51:54 +0100 | Manuel Eberl | Reorganised HOL-Complex_Analysis | file | diff | annotate |
| Sat, 30 Nov 2019 13:47:33 +0100 | Manuel Eberl | Split off new HOL-Complex_Analysis session from HOL-Analysis | file | diff | annotate |