| Tue, 31 Oct 2017 16:42:20 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 31 Oct 2017 15:55:50 +0100 | wenzelm | clarified modules; | changeset | files |
| Tue, 31 Oct 2017 15:36:50 +0100 | wenzelm | minor performance tuning: avoid mutable variable for plain value, e.g. relevant for GC; | changeset | files |
| Tue, 31 Oct 2017 15:15:02 +0100 | wenzelm | more permissive: db could be empty after hard crash; | changeset | files |
| 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 |