| Mon, 21 May 2012 11:31:52 +0200 | blanchet | invite users to upgrade their SPASS (so we can get rid of old code) | changeset | files |
| Mon, 21 May 2012 11:31:52 +0200 | blanchet | start phasing out old SPASS | changeset | files |
| Mon, 21 May 2012 11:31:52 +0200 | blanchet | minor tweak in Vampire setup | changeset | files |
| Mon, 21 May 2012 11:31:52 +0200 | blanchet | include "ext" in all Satallax proofs | changeset | files |
| Mon, 21 May 2012 10:39:32 +0200 | blanchet | add an experimental "aggressive" mode to Sledgehammer, to experiment with more complete translations of higher-order features without breaking "metis" | changeset | files |
| Mon, 21 May 2012 10:39:31 +0200 | blanchet | tuning | changeset | files |
| Mon, 21 May 2012 10:39:31 +0200 | blanchet | added helper -- cf. SET616^5 | changeset | files |