-
Robbert Krebbers authored
It now no longer requires the modality to be absorbing by default; it only should be absorbing when non-affine hypotheses have been cleared.
74cf33ae
It now no longer requires the modality to be absorbing by default; it only should be absorbing when non-affine hypotheses have been cleared.