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 |
Wed, 10 Nov 2010 06:02:37 -0800 | huffman | instance prod :: (predomain, predomain) predomain | changeset | files |