| Tue, 01 Mar 2022 15:05:27 +0000 | paulson | Added some theorems (from Wetzel) | file | diff | annotate |
| Fri, 15 Oct 2021 12:42:51 +0100 | paulson | A few new lemmas plus some refinements | file | diff | annotate |
| Mon, 28 Jun 2021 15:05:46 +0100 | paulson | A few useful lemmas about derivatives, colinearity and other topics | file | diff | annotate |
| Tue, 31 Mar 2020 15:51:15 +0200 | nipkow | cleaned proofs | 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 |
| Tue, 26 Nov 2019 14:32:08 +0000 | paulson | Rearrangement of material in Complex_Analysis_Basics, which contained much that had nothing to do with complex analysis. | file | diff | annotate |
| Tue, 05 Nov 2019 12:00:23 +0000 | paulson | Merge and get rid of closed_segmentI | file | diff | annotate |