HomeIsabelle/Phabricator

implemented ad hoc abduction in Sledgehammer with E