| Tue, 26 Jul 2005 18:25:27 +0200 | huffman | removed duplicated code; generate new lub and thelub lemmas for new cpo types | changeset | files |
| Tue, 26 Jul 2005 18:24:29 +0200 | huffman | cleaned up; renamed some theorems | changeset | files |
| Tue, 26 Jul 2005 18:22:55 +0200 | huffman | add theorem fix_defined_iff; cleaned up | changeset | files |