| Wed, 08 Jun 2005 02:27:19 +0200 | huffman | faster proofs of inverts and injects lemmas, with fewer strictness hypotheses | changeset | files |
| Wed, 08 Jun 2005 01:41:20 +0200 | huffman | fixed renamed lemma | changeset | files |
| Wed, 08 Jun 2005 01:40:39 +0200 | huffman | major cleanup: rewrote cpo proofs, removed obsolete lemmas, renamed some lemmas | changeset | files |