| Fri, 18 Feb 2011 15:17:39 +0100 | blanchet | adjust fudge factors | changeset | files |
| Fri, 18 Feb 2011 12:32:55 +0100 | blanchet | extended ATP problem syntax to support other applications than Sledgehammer, e.g. experiments with ATPs | changeset | files |
| Thu, 17 Feb 2011 12:14:47 +0100 | blanchet | export more functionality of Sledgehammer to applications (for experiments) | changeset | files |
| Wed, 16 Feb 2011 19:07:53 +0100 | blanchet | export useful function (needed in a Sledgehammer-related experiment) | changeset | files |