HomePhabricator

more conservative type names, e.g. relevant for Isabelle/MMT export;

Authored by makarius.