Sun, 22 Oct 2017 13:45:45 +0200 | wenzelm | tuned; | changeset | files |
Sun, 22 Oct 2017 13:22:37 +0200 | wenzelm | clarified signature; | changeset | files |
Sun, 22 Oct 2017 13:12:38 +0200 | wenzelm | tuned: build hg_graph only once; | changeset | files |
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 |