Tue, 29 Jul 2014 23:39:35 +0200 | blanchet | header tuning | changeset | files |
Mon, 28 Jul 2014 10:57:33 +0200 | blanchet | correctly translate THF functions from terms to types | changeset | files |
Sun, 27 Jul 2014 21:11:35 +0200 | blanchet | do not embed 'nat' into 'int's in 'smt2' method -- this is highly inefficient and decreases the Sledgehammer success rate significantly | changeset | files |