theories/base_logic/lib/counter_examples.v · 6cb0f4d21785d0edbe511be12f730b55fd562331 · Gaëtan Gilbert / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

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

History
Notation for disjointness: replace ⊥ with ##, so that ⊥ can be used for bottom.
Jacques-Henri Jourdan authored 7 years ago
```
This is to be used on top of stdpp's 4b5d254e.
```