Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
masks.v
Find file
Blame
History
Permalink
Fixed the def'n of wp to include a frame over mask, fixed all the
· d96b1624
Filip Sieczkowski
authored
Jul 06, 2014
proofs. One change to axiomatisation was needed.
d96b1624