heap_lang/lib/lock.v · 6d038c53f6d8fb5fa70ad8552fa9f6061fb30802 · Michael Sammler / iris-coq · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

8 years ago
6d038c53
Use simpl to get rid of some %V scopes delimiters go away. · 6d038c53
Robbert Krebbers authored 8 years ago
```
NB: these scopes delimiters were already there before Janno's a0067662.
```
6d038c53

History
Use simpl to get rid of some %V scopes delimiters go away.
Robbert Krebbers authored 8 years ago
```
NB: these scopes delimiters were already there before Janno's a0067662.
```