Skip to content
Snippets Groups Projects

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

Merged Robbert Krebbers requested to merge robbert/seal into master
Loading