| Wed, 10 Nov 2010 14:59:52 -0800 | huffman | allow unpointed lazy arguments for definitional domain package | changeset | files |
| Wed, 10 Nov 2010 14:20:47 -0800 | huffman | add lemmas lub_below, below_lub; simplify some proofs; remove some unused lemmas | changeset | files |
| Wed, 10 Nov 2010 13:22:39 -0800 | huffman | merged | changeset | files |
| Wed, 10 Nov 2010 13:08:42 -0800 | huffman | removed unused lemma chain_mono2 | changeset | files |
| Wed, 10 Nov 2010 11:42:35 -0800 | huffman | rename class 'bifinite' to 'domain' | changeset | files |
| Wed, 10 Nov 2010 09:59:08 -0800 | huffman | instance sum :: (predomain, predomain) predomain | changeset | files |
| Wed, 10 Nov 2010 09:52:50 -0800 | huffman | configure sum type for fixrec | changeset | files |
| Wed, 10 Nov 2010 08:18:32 -0800 | huffman | add class liftdomain, for bifinite domains where DEFL('a u) = u_defl('a) | changeset | files |