Skip to content
GitLab
Explore
Sign in
Simon Spies
Iris
Repository
iris
program_logic
invariants.v
Find file
Blame
History
Permalink
Use Disjoint type class to get nice notation for ndisjoint.
· 3034d8ef
Robbert Krebbers
authored
Feb 17, 2016
Also, put stuff in a section.
3034d8ef