-
Robbert Krebbers authored
Main changes: - Use new notion of local updates. - Use new big operators over CMRAs. - Factor out common properties of lrust in heap.
Robbert Krebbers authoredMain changes: - Use new notion of local updates. - Use new big operators over CMRAs. - Factor out common properties of lrust in heap.
