HomeIsabelle/Phabricator

new entry Substitutions_Lambda_Free