Skip to content
Snippets Groups Projects

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

Merged add mk_evar tactic (to replace Coq's strange evar tactic) and use it
ralf/mk_evar into master
Merged Ralf Jung requested to merge ralf/mk_evar into master