Mon, 27 Jun 2011 14:56:28 +0200 | blanchet | added "sound" option to force Sledgehammer to be pedantically sound | changeset | files |
Mon, 27 Jun 2011 14:56:26 +0200 | blanchet | removed "full_types" option from documentation | changeset | files |
Mon, 27 Jun 2011 14:56:10 +0200 | blanchet | document changes to Sledgehammer and "try" | changeset | files |
Mon, 27 Jun 2011 13:52:47 +0200 | blanchet | removed "full_types" option from Sledgehammer, now that virtually sound encodings are used as the default anyway | changeset | files |
Mon, 27 Jun 2011 13:52:47 +0200 | blanchet | clarify warning message to avoid confusing beginners | changeset | files |
Mon, 27 Jun 2011 13:52:47 +0200 | blanchet | remove experimental trimming feature -- it slowed down things on Linux for some reason | changeset | files |
Mon, 27 Jun 2011 13:52:47 +0200 | blanchet | filter out some tautologies using an ATP, especially for those theories that are known for producing such things | changeset | files |