| Wed, 26 Mar 2025 21:11:04 +0000 | paulson | More from Theta_Functions_Library | file | diff | annotate |
| Sat, 06 Jul 2024 12:51:31 +0100 | paulson | Totalisation of ln and therefore log and powr | 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 |
| Sat, 07 Nov 2020 23:20:31 +0000 | paulson | another big cleanup | 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 |