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

As discussed in iris!778 (comment 80612)

Edited by Robbert Krebbers

Merge request reports