proper use of SELECT_GOAL to confine distinct_subgoals_tac to original goal range (amending 366d39e95d3c);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE6b620d91e8cc: a new lemma
- Branches
- Unknown
- Tags
proper use of SELECT_GOAL to confine distinct_subgoals_tac to original goal… Tags None Subscribers None
Description
Details
|