Sun, 28 Feb 2010 20:56:28 -0800 | huffman | add_domain_constructors takes iso_info record as argument | changeset | files |
Sun, 28 Feb 2010 19:39:50 -0800 | huffman | domain_isomorphism package proves deflation rules for map functions | changeset | files |
Sun, 28 Feb 2010 18:33:57 -0800 | huffman | store deflation thms for map functions in theory data | changeset | files |
Sun, 28 Feb 2010 18:12:08 -0800 | huffman | use function list_ccomb | changeset | files |
Sun, 28 Feb 2010 16:11:08 -0800 | huffman | add function define_const | changeset | files |
Sun, 28 Feb 2010 15:43:09 -0800 | huffman | fix infix declarations | changeset | files |