| Thu, 10 Feb 2005 19:14:35 +0100 | nipkow | some stuff is now redundant. | file | diff | annotate |
| Thu, 10 Feb 2005 16:03:18 +0100 | paulson | non-inductive fold1Set proofs | file | diff | annotate |
| Thu, 10 Feb 2005 13:01:46 +0100 | paulson | simplified a key lemma for foldSet | file | diff | annotate |
| Thu, 10 Feb 2005 10:43:57 +0100 | berghofe | Subscripts for theorem lists now start at 1. | file | diff | annotate |
| Wed, 09 Feb 2005 18:50:09 +0100 | nipkow | Extracted generic lattice stuff to new Lattice_Locales.thy | file | diff | annotate |
| Wed, 09 Feb 2005 18:32:28 +0100 | paulson | new foldSet proofs | file | diff | annotate |
| Wed, 09 Feb 2005 12:08:46 +0100 | paulson | revised fold1 proofs | file | diff | annotate |