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 |
Fri, 20 Oct 2017 23:29:43 +0200 | wenzelm | more ambitious test; | changeset | files |
Fri, 20 Oct 2017 07:46:10 +0200 | haftmann | added lemmas and tuned proofs | changeset | files |