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 |