| Mon, 07 Oct 2019 10:51:20 +0200 | wenzelm | count nodes uniformly: avoid overloaded session; | changeset | files |
| Mon, 07 Oct 2019 10:44:59 +0200 | wenzelm | clarified signature; | changeset | files |
| Mon, 07 Oct 2019 14:31:46 +0200 | nipkow | simplified proof | changeset | files |