program_logic/boxes.v · a3cbeaffbc3338d568169c1e3b2232f423407332 · Simcha van Collem / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

8 years ago
a3cbeaff
Revert "Make the types of the finite map type classes more specific." · a3cbeaff
Robbert Krebbers authored 8 years ago
```
This reverts commit 20b4ae55, which does
not seem to work with Coq 8.5pl2 (I accidentally tested with 8.5pl1).
```
a3cbeaff

History
Revert "Make the types of the finite map type classes more specific."
Robbert Krebbers authored 8 years ago
```
This reverts commit 20b4ae55, which does
not seem to work with Coq 8.5pl2 (I accidentally tested with 8.5pl1).
```