Thu, 19 Nov 2009 11:13:34 -0800 | huffman | replace defl_tab and map_tab with theory data | changeset | files |
Thu, 19 Nov 2009 10:45:34 -0800 | huffman | separate conjuncts of isodefl theorem | changeset | files |
Thu, 19 Nov 2009 10:27:29 -0800 | huffman | automate isodefl proof | changeset | files |