Fri, 26 Feb 2010 09:47:37 -0800 | huffman | move proof of con_rews into domain_constructor.ML | changeset | files |
Fri, 26 Feb 2010 09:13:29 -0800 | huffman | don't bother returning con_defs | changeset | files |
Fri, 26 Feb 2010 09:10:50 -0800 | huffman | move constructor-specific stuff to a separate function | changeset | files |