theories/algebra/dra.v · 3588f20460c8830ea98d78953b388c797c83a709 · Marianna Rapoport / iris-coq · GitLab

Find file Blame History Permalink

Notation for disjointness: replace ⊥ with ##, so that ⊥ can be used for bottom. · 3588f204
Jacques-Henri Jourdan authored Oct 27, 2017
```
This is to be used on top of stdpp's 4b5d254e.
```
3588f204

dra.v 9.35 KB