HomeIsabelle/Phabricator

more accurate treatment of context, notably for nested Goal.proof / SUBPROOF;

Description

more accurate treatment of context, notably for nested Goal.proof / SUBPROOF;

Details

Provenance
makariusAuthored on
Parents
rISABELLE6c61341c1b31: tuned;
Branches
Unknown
Tags
Unknown