| Tue, 31 Oct 2017 15:13:08 +0100 | wenzelm | no censorship (in contrast to 2c828c830ad7); | changeset | files |
| Tue, 31 Oct 2017 13:59:19 +0000 | paulson | A few more topological results. And made some slow proofs faster | changeset | files |
| Tue, 31 Oct 2017 07:11:03 +0000 | haftmann | removed ancient nat-int transfer | changeset | files |
| Mon, 30 Oct 2017 19:29:06 +0000 | haftmann | added lemma | changeset | files |