Tue, 02 Mar 2010 17:21:10 -0800 | huffman | proper names for types cfun, sprod, ssum | changeset | files |
Tue, 02 Mar 2010 17:20:03 -0800 | huffman | variable name changed | changeset | files |
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 |