| Sun, 22 Oct 2017 11:59:44 +0200 | nipkow | tuned | changeset | files |
| 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 |
| Sat, 21 Oct 2017 18:14:59 +0200 | bulwahn | drop a superfluous assumption that was found by the find_unused_assms command and tune proof | changeset | files |
| Sat, 21 Oct 2017 18:11:29 +0200 | bulwahn | drop a superfluous assumption that was found by the find_unused_assms command and tune proof | changeset | files |
| Fri, 20 Oct 2017 20:57:55 +0200 | haftmann | algebraic foundation for congruences | changeset | files |