Tue, 02 Mar 2010 16:25:59 -0800 | huffman | fix proof script for take_apps so it works with indirect recursion | changeset | files |
Tue, 02 Mar 2010 16:07:48 -0800 | huffman | remove dead code | changeset | files |
Tue, 02 Mar 2010 15:53:07 -0800 | huffman | remove unused mixfix component from type cons | changeset | files |