Skip to content
  • 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