| Wed, 26 Sep 2018 17:04:50 +0200 | wenzelm | clarified get_infix: avoid old ASCII input syntax; | changeset | files |
| 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 |