-
Robbert Krebbers authored
These results turned out to be neither that useful nor canonical, and can easily be derived from local updates. This reverts commit 465dd9f4.
4fc7ee79
These results turned out to be neither that useful nor canonical, and can easily be derived from local updates. This reverts commit 465dd9f4.