theories/proofmode/class_instances.v · 3875c72637ea550e8a4b36c8002a36072cb65236 · Rice Wine / Iris · GitLab

Find file Blame History Permalink

Give from_op_op a lower precedence so that it is not picked by default · 3875c726
Robbert Krebbers authored Jun 08, 2017
```
when using iCombine.
```
3875c726