| Fri, 01 Dec 2006 17:22:28 +0100 | haftmann | stripped some legacy bindings | file | diff | annotate |
| Wed, 15 Nov 2006 17:05:40 +0100 | haftmann | reworking of min/max lemmas | file | diff | annotate |
| Sun, 12 Nov 2006 19:22:10 +0100 | nipkow | started reorgnization of lattice theories | file | diff | annotate |
| Wed, 08 Nov 2006 19:48:34 +0100 | haftmann | renamed Lattice_Locales to Lattices | file | diff | annotate |