| Fri, 29 Dec 2017 19:17:52 +0100 | wenzelm | prefer formal citations; | file | diff | annotate |
| Sun, 22 Oct 2017 09:10:10 +0200 | nipkow | derived axiom iffI as a lemma (thanks to Alexander Maletzky) | file | diff | annotate |
| Tue, 07 Oct 2014 23:29:43 +0200 | wenzelm | more bibtex entries; | file | diff | annotate |
| Thu, 26 Jun 2008 10:06:54 +0200 | haftmann | added dummy citiation | file | diff | annotate |
| Tue, 27 Feb 2007 00:33:49 +0100 | wenzelm | tuned document; | file | diff | annotate |
| Sun, 12 Nov 2006 19:22:10 +0100 | nipkow | started reorgnization of lattice theories | file | diff | annotate |
| Fri, 08 Jul 2005 11:39:59 +0200 | nipkow | added Davenport reference | file | diff | annotate |