| Tue, 09 Mar 2021 14:20:27 +0100 | traytel | generalized confluence-based subdistributivity theorem for quotients; | file | diff | annotate |
| Sun, 19 Jan 2020 07:50:35 +0100 | traytel | new examples of BNF lifting across quotients using a new theory of confluence, | file | diff | annotate |