Sat, 13 Mar 2010 14:30:38 -0800 | huffman | more consistent use of qualified bindings | changeset | files |
Sat, 13 Mar 2010 14:26:26 -0800 | huffman | avoid unnecessary primed variable names | changeset | files |
Sat, 13 Mar 2010 12:24:50 -0800 | huffman | remove redundant lemmas | changeset | files |