Skip to content
GitLab
Explore
Sign in
Tej Chajed
iris
Repository
iris-coq
theories
proofmode
class_instances_bi.v
Find file
Blame
History
Permalink
Move bupd stuff from class_instances_sbi.v → class_instances_bi.v.
· 28e01a7a
Robbert Krebbers
authored
Jun 10, 2018
28e01a7a