| Wed, 08 Jun 2011 17:01:07 +0200 | blanchet | avoid duplicate facts, which confuse the minimizer output | changeset | files |
| Wed, 08 Jun 2011 16:20:19 +0200 | blanchet | pass Metis facts and negated conjecture as facts, with (almost) correctly set localities, so that the correct encoding is used for nonmonotonic occurrences of infinite types | changeset | files |
| Wed, 08 Jun 2011 16:20:18 +0200 | blanchet | restore comment about subtle issue | changeset | files |