HomeIsabelle/Phabricator

proper use of SELECT_GOAL to confine distinct_subgoals_tac to original goal…

Description

proper use of SELECT_GOAL to confine distinct_subgoals_tac to original goal range (amending 366d39e95d3c);

Details

Provenance
makariusAuthored on
Parents
rISABELLE6b620d91e8cc: a new lemma
Branches
Unknown
Tags
Unknown