| Tue, 22 Jun 2010 17:07:39 +0200 | blanchet | cosmetics + prevent consideration of inlined Skolem terms in relevance filter | changeset | files |
| Tue, 22 Jun 2010 16:50:55 +0200 | blanchet | canonical argument order | changeset | files |
| Tue, 22 Jun 2010 16:40:36 +0200 | blanchet | leverage new data structure for handling "add:" and "del:" | changeset | files |
| Tue, 22 Jun 2010 16:23:29 +0200 | blanchet | thread original theorem along with CNF theorem, as a step toward killing the Skolem cache | changeset | files |
| Tue, 22 Jun 2010 14:48:46 +0200 | blanchet | merge "generic_prover" and "generic_tptp_prover" | changeset | files |
| Tue, 22 Jun 2010 14:28:22 +0200 | blanchet | removed Sledgehammer's support for the DFG syntax; | changeset | files |