| Wed, 26 Sep 2018 13:36:10 +0200 | Lars Hupel | remove dubious import | changeset | files |
| Tue, 25 Sep 2018 20:41:27 +0200 | wenzelm | export locale dependencies, with approx. morphism as type/term substitution; | changeset | files |
| Tue, 25 Sep 2018 20:27:39 +0200 | wenzelm | tuned signature; | changeset | files |