| Thu, 09 Feb 2023 13:36:25 +0000 | paulson | More material for Analysis and Complex_Analysis | file | diff | annotate |
| Mon, 06 Feb 2023 15:41:23 +0000 | paulson | Some more new material and some tidying of existing proofs | file | diff | annotate |
| Wed, 01 Feb 2023 12:43:33 +0000 | paulson | More new material thanks to Manuel | file | diff | annotate |
| 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 |