| Wed, 08 Jun 2005 14:54:39 +0200 | haftmann | added file acces rights handling | changeset | files |
| Wed, 08 Jun 2005 02:28:28 +0200 | huffman | fix usage of inverts lemma, which has fewer premises now | changeset | files |
| 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 |