algebra/gset.v · a90a8e99a1ce7b4dbc4ea68cb389a1d8fbb896f2 · Dan Frumin / iris-coq · GitLab

Jul 23, 2016
a90a8e99
CMRA structure on gsets that avoids the indirection via maps. · a90a8e99
Robbert Krebbers authored Jul 23, 2016
```
Also, add algebra/gset to _CoqProject.
```
a90a8e99
CMRA structure on gsets that avoids the indirection via maps.
Robbert Krebbers authored Jul 23, 2016
```
Also, add algebra/gset to _CoqProject.
```