_CoqProject · aa7e908dd97b15a275c3abe4e2440fa7f795f206 · Dan Frumin / iris-coq · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

8 years ago
aa7e908d
Rename heap_lang/lib/heap.v -> heap_lang/heap.v · aa7e908d
Robbert Krebbers authored 8 years ago
```
It is not a library; it does not contain code, but instead is a core
part of heap_lang.
```
aa7e908d

History
Rename heap_lang/lib/heap.v -> heap_lang/heap.v
Robbert Krebbers authored 8 years ago
```
It is not a library; it does not contain code, but instead is a core
part of heap_lang.
```