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 |