Fri, 26 Feb 2010 09:55:56 -0800 | huffman | reorder sections | changeset | files |
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 |