Tue, 13 Sep 2011 13:17:52 +0200 | bulwahn | merged | changeset | files |
Tue, 13 Sep 2011 12:14:29 +0200 | bulwahn | added lemma motivated by a more specific lemma in the AFP-KBPs theories | changeset | files |
Tue, 13 Sep 2011 11:24:58 +0200 | blanchet | simplified unsound proof detection by removing impossible case | changeset | files |