| Fri, 18 Apr 2025 10:58:16 +0200 | Manuel Eberl | moved some lemmas to where they fit better | file | diff | annotate |
| Fri, 24 Sep 2021 22:23:26 +0200 | wenzelm | tuned proofs --- avoid 'guess'; | file | diff | annotate |
| Fri, 02 Jul 2021 15:54:31 +0100 | paulson | converting arg to Arg | file | diff | annotate |
| Mon, 02 Dec 2019 17:51:54 +0100 | Manuel Eberl | Reorganised HOL-Complex_Analysis | file | diff | annotate |