Skip to content
GitLab
Explore
Sign in
Tej Chajed
iris
Repository
iris-coq
modures
base.v
Find file
Blame
History
Permalink
Fix scopes for if then else to also work with sumbool.
· 1fb71585
Robbert Krebbers
authored
Jan 22, 2016
1fb71585