-
Robbert Krebbers authored
We have these instances for all other logical operations too to support setoid rewriting in both directions.
066354af
We have these instances for all other logical operations too to support setoid rewriting in both directions.