• Robbert Krebbers's avatar
    Get rid of `%C` scopes. · dac06892
    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
Name
Last commit
Last update
..
base Loading commit data...
examples Loading commit data...
gps Loading commit data...
lang Loading commit data...
rsl Loading commit data...
tests Loading commit data...
viewpred Loading commit data...
arith.v Loading commit data...
blocks_generic.v Loading commit data...
fractor.v Loading commit data...
infrastructure.v Loading commit data...
iris_lemmas.v Loading commit data...
persistor.v Loading commit data...