| Sun, 10 Dec 2006 07:12:26 +0100 | nipkow | Modified lattice locale | file | diff | annotate |
| Sun, 12 Nov 2006 19:22:10 +0100 | nipkow | started reorgnization of lattice theories | file | diff | annotate |
| Fri, 13 Oct 2006 18:29:31 +0200 | berghofe | Adapted to changes in FixedPoint theory. | file | diff | annotate |