heap_lang/tactics.v · eba897cc7926cc7da10c4114b9b4a6ad445f6d74 · Simcha van Collem / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

8 years ago
1b85d654
Rename rvs -> bupd (basic update), pvs -> fupd (fancy update). · 1b85d654
Robbert Krebbers authored 8 years ago
```
And also rename the corresponding proof mode tactics.
```
1b85d654

History
Rename rvs -> bupd (basic update), pvs -> fupd (fancy update).
Robbert Krebbers authored 8 years ago
```
And also rename the corresponding proof mode tactics.
```