Fri, 16 Dec 2005 18:20:59 +0100 | urbanc | I think the earlier version was completely broken | changeset | files |
Fri, 16 Dec 2005 18:20:03 +0100 | urbanc | tuned more proofs | changeset | files |
Fri, 16 Dec 2005 16:59:32 +0100 | nipkow | new lemmas | changeset | files |