HomeIsabelle/Phabricator

More robust apply proofs in Finger-Trees