Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
theories
proofmode
sel_patterns.v
Find file
Blame
History
Permalink
Generalize clear/frame patterns in introduction patterns.
· 4084c886
Robbert Krebbers
authored
Apr 27, 2017
Now they can also be used to clear/frame the whole pure/persistent/spatial context.
4084c886