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