-
Robbert Krebbers authored
As suggested by @jjourdan, and proved in the ordered RA model by @amintimany. This should solve the paradox in #149.
2c2f36f5
As suggested by @jjourdan, and proved in the ordered RA model by @amintimany. This should solve the paradox in #149.