Sun, 22 Oct 2017 09:10:10 +0200 | nipkow | derived axiom iffI as a lemma (thanks to Alexander Maletzky) | changeset | files |
Sat, 21 Oct 2017 18:19:11 +0200 | bulwahn | remove trailing whitespaces in List | changeset | files |
Sat, 21 Oct 2017 18:16:56 +0200 | bulwahn | drop a superfluous assumption that was found by the find_unused_assms command | changeset | files |