HomeIsabelle/Phabricator

generalized and augmented

Authored by florian.haftmann.