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 |