-
Robbert Krebbers authored
For better support for eliminating affine/absorbing separating conjunctions in the persistent context/under a plainness/persistence modality.
7ddfabf6
For better support for eliminating affine/absorbing separating conjunctions in the persistent context/under a plainness/persistence modality.