HomeIsabelle/Phabricator

added support for TFX $let to Sledgehammer's TPTP output