Thu, 16 Dec 2010 15:46:54 +0100 | blanchet | no need to do a super-duper atomization if Metis fails afterwards anyway | changeset | files |
Thu, 16 Dec 2010 15:44:32 +0100 | blanchet | removed unused variable | changeset | files |
Thu, 16 Dec 2010 15:12:17 +0100 | blanchet | robustly handle SMT exceptions in Sledgehammer | changeset | files |