HomeIsabelle/Phabricator

provide missing LaTeX macro, e.g. for AFP/PAC_Checker;