HomeIsabelle/Phabricator

proper prover capabilities for zipperposition