| Thu, 19 Apr 2012 07:25:41 +0100 | sultana | exceptions related to interpreting tptp problems now mention the relevant position in the tptp file; | changeset | files |
| 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 |