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 |
Wed, 09 Feb 2005 18:32:28 +0100 | paulson | new foldSet proofs | changeset | files |