| Thu, 08 Jul 2021 08:42:36 +0200 | desharna | added opaque_combs and renamed hide_lams to opaque_lifting | file | diff | annotate |
| Thu, 03 Jun 2021 10:47:20 +0100 | paulson | new lemmas mostly about paths | file | diff | annotate |
| Fri, 28 Aug 2020 12:04:36 +0100 | paulson | small quantifier fixes | file | diff | annotate |
| Mon, 02 Dec 2019 17:51:54 +0100 | Manuel Eberl | Reorganised HOL-Complex_Analysis | file | diff | annotate |