| Wed, 18 Apr 2012 17:44:39 +0200 | huffman | add option to transfer method for specifying variables not to generalize over | changeset | files |
| Tue, 17 Apr 2012 16:21:47 +1000 | Thomas Sewell | New tactic "word_bitwise" expands word equalities/inequalities into logic. | changeset | files |
| Wed, 18 Apr 2012 23:57:44 +0200 | kuncar | setup_lifting: no_code switch and supoport for quotient theorems | changeset | files |
| Wed, 18 Apr 2012 23:13:11 +0200 | blanchet | remove old TPTP CNF/FOF parser; always use Nik's new parser | changeset | files |
| Wed, 18 Apr 2012 23:13:10 +0200 | blanchet | more standard SZS output | changeset | files |
| Wed, 18 Apr 2012 22:40:25 +0200 | blanchet | Sledgehammer NEWS and CONTRIBUTORS | changeset | files |
| Wed, 18 Apr 2012 22:40:25 +0200 | blanchet | tuned SZS status output | changeset | files |