diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-12-04 15:43:49 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-12-04 15:43:49 -0500 |
| commit | abed3aa12aa0e754f453b1fd5c4ab59c75137df5 (patch) | |
| tree | 92b5afd11d8a4dcbdc0df1b89e6a67d2b5464141 /src/Util/ListUtil.v | |
| parent | e6044c2fe0cc7b5662076bb1f26342a4d590132e (diff) | |
Revert "Add inversion_clear tactics"
This reverts commit e6044c2fe0cc7b5662076bb1f26342a4d590132e.
Actually not needed; the tactics already clear the relevant hypotheses.
Diffstat (limited to 'src/Util/ListUtil.v')
0 files changed, 0 insertions, 0 deletions