Skip to content
GitLab

Rename seal lemmas from `_eq` to `_unseal` and make sealing stuff `Local`.

Merged Robbert Krebbers requested to merge robbert/seal into master

Also fix some places where we break the seal.

This the Iris version of stdpp!378 (merged)

Merge request reports