| 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 |