theories/algebra/frac_auth.v · 463474fb0f5feeb8387fcae225854c4ec7312cf2 · George Pirlea / Iris · GitLab

Find file Blame History Permalink

Rename `frag_auth_op` into `frac_auth_frag_op` (the old name was inconsistent). · 463474fb
Robbert Krebbers authored May 17, 2018
```
`sed -i 's/frag_auth_op/frac_auth_frag_op/g' $(find -name "*.v")`
```
463474fb