-
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
* 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