theories/algebra/ofe.v · 1e8054db13ff32c5a199d50cd278c5911d4d13ea · Paolo G. Giarrusso / iris

Forked from Iris / Iris

5007 commits behind the upstream repository.

7 years ago

Consistently de-capitalize acronyms. · a3028b92

Rename `UCMRA` → `Ucmra`
Rename `CMRA` → `Cmra`
Rename `OFE` → `Ofe` (`Ofe` was already used partially, but many occurences were missing)
Rename `STS` → `Sts`
Rename `DRA` → `Dra`

a3028b92

History

Consistently de-capitalize acronyms.

Robbert Krebbers authored 7 years ago

Rename `UCMRA` → `Ucmra`
Rename `CMRA` → `Cmra`
Rename `OFE` → `Ofe` (`Ofe` was already used partially, but many occurences were missing)
Rename `STS` → `Sts`
Rename `DRA` → `Dra`

ofe.v 48.04 KiB