Wed, 09 Feb 2005 18:51:02 +0100 | nipkow | added lattice_locales | changeset | files |
Wed, 09 Feb 2005 18:50:09 +0100 | nipkow | Extracted generic lattice stuff to new Lattice_Locales.thy | changeset | files |
Wed, 09 Feb 2005 18:49:29 +0100 | nipkow | New | changeset | files |