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 |
Wed, 08 Jun 2005 00:59:46 +0200 | huffman | added theorems is_ub_range_shift and is_lub_range_shift | changeset | files |
Wed, 08 Jun 2005 00:18:26 +0200 | huffman | added theorems less_sprod, spair_less, spair_eq, spair_inject | changeset | files |
Wed, 08 Jun 2005 00:16:28 +0200 | huffman | renamed theorems less_ssum4a,b,c,d to more meaningful names | changeset | files |
Wed, 08 Jun 2005 00:07:46 +0200 | huffman | added theorem less_cprod | changeset | files |