Skip to content

Get rid of `%C` scopes.

Robbert Krebbers requested to merge no_more_C_scopes into master

As already done at most places, only open uPred_scope around definitions. That way there is no need for %C scopes in lemmas anymore.

Merge request reports