HomeIsabelle/Phabricator

proper symbolic dependencies, e.g. for Demo_FoilTeX;