| Tue, 21 Jun 2011 17:17:39 +0200 | blanchet | tweaked E, SPASS, Vampire setup based on latest Judgment Day results | changeset | files |
| Tue, 21 Jun 2011 17:17:39 +0200 | blanchet | remove historical bloat -- another benefit of merging Metis's and Sledgehammer's translations | changeset | files |
| Tue, 21 Jun 2011 17:17:39 +0200 | blanchet | avoid double ASCII-fication | changeset | files |
| Tue, 21 Jun 2011 17:17:39 +0200 | blanchet | make sure that enough type information is generated -- because the exported "lemma"s are also used as "conjecture", we can't optimize type information based on polarity | changeset | files |