Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
namespaces.v
Find file
Blame
History
Permalink
Rename seal lemmas from `_eq` to `_unseal` and make sealing stuff `Local`.
· 85d5291f
Robbert Krebbers
authored
May 12, 2022
85d5291f