program_logic/boxes.v · 695c9baa2d398299eaf1bbdd2a73ebeed32e1a56 · Simcha van Collem / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

8 years ago
695c9baa
Use |==> syntax for 'preserve pvs' specialization pattern. · 695c9baa
Robbert Krebbers authored 8 years ago
```
We used => before, which is strange, because it has another meaning
in ssreflect.
```
695c9baa

History
Use |==> syntax for 'preserve pvs' specialization pattern.
Robbert Krebbers authored 8 years ago
```
We used => before, which is strange, because it has another meaning
in ssreflect.
```