-
Robbert Krebbers authored
This breaks the following things: - Universally quantified Hoare triples are no longer persistent. - The core operation on uPreds.
60b3610c
This breaks the following things: - Universally quantified Hoare triples are no longer persistent. - The core operation on uPreds.