Mon, 23 Aug 2010 14:21:57 +0200 | blanchet | "no_atp" fact that leads to unsound proofs in Sledgehammer | changeset | files |
Mon, 23 Aug 2010 12:13:58 +0200 | blanchet | "no_atp" fact that leads to unsound proofs | changeset | files |
Mon, 23 Aug 2010 11:56:30 +0200 | blanchet | "no_atp" a few facts that often lead to unsound proofs | changeset | files |