Sat, 06 Mar 2010 00:21:21 +0100 | wenzelm | merged | changeset | files |
Fri, 05 Mar 2010 14:50:37 -0800 | huffman | introduce notion of 'decisive' deflations; use them to simplify proof script for rule 'finites' | changeset | files |
Fri, 05 Mar 2010 14:05:25 -0800 | huffman | add comment | changeset | files |