modures/logic.v · 694073727b494fa3394ace0ddeaf7e338d15e6a0 · Tej Chajed / iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

9 years ago
69407372
Declare uPred_entails as RewriteRelation to allow rewriting using ssr. · 69407372
Robbert Krebbers authored 9 years ago
```
This is a workarround, see: https://github.com/math-comp/math-comp/issues/18
```
69407372

History
Declare uPred_entails as RewriteRelation to allow rewriting using ssr.
Robbert Krebbers authored 9 years ago
```
This is a workarround, see: https://github.com/math-comp/math-comp/issues/18
```