Skip to content
Snippets Groups Projects

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

Merged Rename seal lemmas from `_eq` to `_unseal` and make sealing stuff `Local`.
robbert/seal into master
Merged Robbert Krebbers requested to merge robbert/seal into master