| Wed, 08 Jun 2011 08:47:43 +0200 | blanchet | don't needlessly extensionalize | changeset | files |
| Wed, 08 Jun 2011 08:47:43 +0200 | blanchet | don't needlessly presimplify -- makes ATP problem preparation much faster | changeset | files |
| Wed, 08 Jun 2011 08:47:43 +0200 | blanchet | tuned | changeset | files |
| Wed, 08 Jun 2011 08:47:43 +0200 | blanchet | removed experimental code submitted by mistake | changeset | files |
| Wed, 08 Jun 2011 08:47:43 +0200 | blanchet | make sure that the message tail (timing + TPTP important message) is preserved upon automatic minimization | changeset | files |
| Wed, 08 Jun 2011 08:47:43 +0200 | blanchet | removed removed option from documentation | changeset | files |
| Wed, 08 Jun 2011 08:47:43 +0200 | blanchet | killed "explicit_apply" option in Sledgehammer -- the "smart" default is about as lightweight as "false" and just as complete as "true" | changeset | files |