HomeIsabelle/Phabricator

proper treatment of $let variables in symbol table in Sledgehammer