Skip to content

add mk_evar tactic (to replace Coq's strange evar tactic) and use it

Ralf Jung requested to merge ralf/mk_evar into master

Merge request reports