theories/algebra/ofe.v · 6a86d92560bd05d53e2d5ac0c878e090963ed9ef · Rodolphe Lepigre / Iris · GitLab

Find file Blame History Permalink

Merge branch 'sigT_equivI-admissible' into 'master' · 6a86d925
Robbert Krebbers authored Jun 25, 2019
```
Prove sigT_equivI is admissible (fix #250)

Closes #250

See merge request !280
```
6a86d925