• Robbert Krebbers's avatar
    More CMRAs · 5696cb01
    Robbert Krebbers authored
    * Framepreserving updates are now on CMRAs rather than RAs
    * Excl and auth are now CMRAs
    * Show that excl and auth are functors
    * STS is now an CMRA
    5696cb01
cmra.v 12.1 KB