-
Robbert Krebbers authored
As already done at most places, only open `uPred_scope` arround definitions. That way there is no need for `%C` scopes in lemmas anymore.
dac06892
As already done at most places, only open `uPred_scope` arround definitions. That way there is no need for `%C` scopes in lemmas anymore.