theories/base.v · c70cec15c5f1651262221e83a04c96f2a5168640 · Adam / stdpp · GitLab

Snippets Groups Projects

Forked from Iris / stdpp

3436 commits behind the upstream repository.

4 years ago
c70cec15
Swap import of Peano and Utf8 to ensure that Utf8 notations are preferred. · c70cec15
Hugo Herbelin authored 4 years ago and Robbert Krebbers committed 4 years ago
```
This is a consequence of Coq PR #12950 which gives to import the
effect of reactivating the imported notations.
```
c70cec15

History
Swap import of Peano and Utf8 to ensure that Utf8 notations are preferred.
Hugo Herbelin authored 4 years ago and Robbert Krebbers committed 4 years ago
```
This is a consequence of Coq PR #12950 which gives to import the
effect of reactivating the imported notations.
```