| 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 |
| Sun, 06 Oct 2019 19:33:58 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 06 Oct 2019 16:25:20 +0200 | wenzelm | clarified signature: more options; | changeset | files |
| Sun, 06 Oct 2019 16:22:43 +0200 | wenzelm | clarified signature: read full session requirements; | changeset | files |
| Sun, 06 Oct 2019 15:28:59 +0200 | wenzelm | clarified signature; | changeset | files |