HomeIsabelle/Phabricator

refactored Sledgehammer option "induction_rules"