HomeIsabelle/Phabricator

adapted to devel (Monda Syntax)

Authored by nipkow.