Tue, 05 Jan 2021 15:47:23 +0100 | wenzelm | present theory using PIDE markup; | changeset | files |
Tue, 05 Jan 2021 14:21:18 +0100 | wenzelm | clarified signature; | changeset | files |
Tue, 05 Jan 2021 13:08:45 +0100 | wenzelm | tuned signature; | changeset | files |