HomeIsabelle/Phabricator

export other entities, e.g. relevant for formal document output;