Thu, 09 Feb 2023 15:36:06 +0000 | paulson | Even more new material from Eberl and Li | file | diff | annotate |
Tue, 01 Mar 2022 15:05:27 +0000 | paulson | Added some theorems (from Wetzel) | file | diff | annotate |
Fri, 16 Jul 2021 14:43:25 +0100 | paulson | A few new lemmas and simplifications | 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 |
Sun, 13 Sep 2020 16:11:05 +0100 | paulson | de-applying | file | diff | annotate |
Sun, 30 Aug 2020 19:45:46 +0100 | paulson | minor tidying, also s->S and t->T | 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 |