Sat, 19 Oct 2019 16:16:24 +0200 | wenzelm | merged | changeset | files |
Sat, 19 Oct 2019 16:09:39 +0200 | wenzelm | export toplevel proof similar to named PThm; | changeset | files |
Sat, 19 Oct 2019 15:32:32 +0200 | wenzelm | tuned signature; | changeset | files |