| Sun, 04 Jul 2021 18:35:57 +0100 | paulson | Imported lots of material from Stirling_Formula/Gamma_Asymptotics | file | diff | annotate |
| Fri, 28 May 2021 14:43:06 +0100 | paulson | nicer statement of Liouville_theorem | file | diff | annotate |
| Mon, 05 Oct 2020 12:47:19 +0100 | paulson | more tidying of messy proofs | file | diff | annotate |
| Thu, 17 Sep 2020 18:48:06 +0100 | paulson | de-applying | file | diff | annotate |
| Mon, 02 Dec 2019 17:51:54 +0100 | Manuel Eberl | Reorganised HOL-Complex_Analysis | file | diff | annotate |