heap_lang/lib/barrier/proof.v · 1b85d654ecc57b451b4b7d0a31aaa651f8fb2a41 · Ike Mulder / 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.
```

proof.v 9.17 KiB