HomeIsabelle/Phabricator

more efficient operations: traverse hyps only when required;