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