HomeIsabelle/Phabricator

simplified Let constructor