| 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 |
| Tue, 09 Nov 2010 19:37:11 -0800 | huffman | adapt isodefl proof script to unpointed types | changeset | files |
| Tue, 09 Nov 2010 16:37:13 -0800 | huffman | add 'predomain' class: unpointed version of bifinite | changeset | files |
| Tue, 09 Nov 2010 08:41:36 -0800 | huffman | add bifiniteness check for domain_isomorphism command | changeset | files |
| Tue, 09 Nov 2010 05:23:34 -0800 | huffman | implement map_of_typ using Pattern.rewrite_term | changeset | files |
| Tue, 09 Nov 2010 04:47:46 -0800 | huffman | avoid using stale theory | changeset | files |