program_logic/resources.v · e54910b73e26b4a8f64b7699088e7ecaa2012b73 · Simcha van Collem / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

9 years ago
f372c5c1
Rename algebra/fin_maps.v -> algebra/gmap.v · f372c5c1
Robbert Krebbers authored 9 years ago
```
Also remove some superfluous map_ prefixes.
```
f372c5c1

History
Rename algebra/fin_maps.v -> algebra/gmap.v
Robbert Krebbers authored 9 years ago
```
Also remove some superfluous map_ prefixes.
```