| Wed, 01 Sep 2010 18:42:31 +0200 | blanchet | lower number of facts given to SInE | changeset | files |
| Wed, 01 Sep 2010 18:41:23 +0200 | blanchet | share the relevance filter among the provers | changeset | files |
| Wed, 01 Sep 2010 17:27:10 +0200 | blanchet | got rid of the "theory_relevant" option; | changeset | files |
| Wed, 01 Sep 2010 16:46:11 +0200 | blanchet | generalize theorem argument parsing syntax | changeset | files |
| Wed, 01 Sep 2010 16:11:48 +0200 | blanchet | support new option in Mirabelle | changeset | files |
| Wed, 01 Sep 2010 11:59:04 +0200 | blanchet | fiddled with fudge factor (based on Mirabelle) | changeset | files |
| Wed, 01 Sep 2010 11:36:02 +0200 | blanchet | give priority to assumptions in structured proofs | changeset | files |
| Wed, 01 Sep 2010 10:26:54 +0200 | blanchet | introduce fudge factors to deal with "theory const" | changeset | files |