HomeIsabelle/Phabricator

slightly more specific implementations

Authored by florian.haftmann.