Tue, 21 Dec 2010 03:56:51 +0100 | blanchet | added "smt_triggers" option to experiment with triggers in Sledgehammer; | changeset | files |
Tue, 21 Dec 2010 01:12:17 +0100 | blanchet | enable E weight generation with unofficial latest version of E (tentatively called E 1.2B) -- backed by Judgment Day | changeset | files |