HomeIsabelle/Phabricator

revived 'try0' and 'smart' Isar proofs in Sledgehammer