HomeIsabelle/Phabricator

clarified examples;

Authored by makarius.