heap_lang/lib/spawn.v · 29ee3a0f0b4624a9c5cfe5948c788a7c8d74d24d · Michael Sammler / iris-coq · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

8 years ago
29ee3a0f
Revert "Let iLöb automatically revert and introduce spatial hypotheses." · 29ee3a0f
Robbert Krebbers authored 8 years ago
```
This reverts commit 3cc38ff6.

The reverted pure hypotheses and variables appear in the wrong order.
```
29ee3a0f

History
Revert "Let iLöb automatically revert and introduce spatial hypotheses."
Robbert Krebbers authored 8 years ago
```
This reverts commit 3cc38ff6.

The reverted pure hypotheses and variables appear in the wrong order.
```