| Thu, 08 Aug 2019 12:11:40 +0200 | wenzelm | prefer named lemmas -- more compact proofterms; | file | diff | annotate |
| Wed, 06 Dec 2017 20:43:09 +0100 | wenzelm | prefer control symbol antiquotations; | file | diff | annotate |
| Tue, 23 Feb 2016 16:41:14 +0100 | nipkow | more canonical names | file | diff | annotate |
| Tue, 05 Jan 2016 13:48:51 +0100 | wenzelm | updated headers; | file | diff | annotate |
| Wed, 11 Nov 2015 09:21:56 +0100 | Andreas Lochbihler | cancel complementary terms as arguments to sup/inf in boolean algebras | file | diff | annotate |