Sun, 19 Jan 2020 12:57:20 +0100 | wenzelm | merged | changeset | files |
Fri, 17 Jan 2020 16:59:32 +0100 | wenzelm | tuned spelling; | changeset | files |
Sun, 19 Jan 2020 07:50:35 +0100 | traytel | new examples of BNF lifting across quotients using a new theory of confluence, | changeset | files |