HomeIsabelle/Phabricator

Remove old code-generation support functions.