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