Tue, 10 Dec 2019 01:06:39 +0100 | traytel | an extensive example for lift_bnf across quotients | changeset | files |
Tue, 10 Dec 2019 01:06:39 +0100 | traytel | extension of lift_bnf to support quotient types | changeset | files |
Tue, 10 Dec 2019 01:06:39 +0100 | traytel | unfold intermediate (internal) pred definitions | changeset | files |