| Tue, 01 Sep 2020 17:51:20 +0200 | wenzelm | unused (see also 7b318273a4aa); | changeset | files |
| Tue, 01 Sep 2020 16:57:54 +0200 | wenzelm | tuned proofs; | changeset | files |
| Mon, 31 Aug 2020 22:05:05 +0200 | wenzelm | proper use of SELECT_GOAL to confine distinct_subgoals_tac to original goal range (amending 366d39e95d3c); | changeset | files |