-
Pacak, André authored
fix naming issue when inlining a rule that has where instance in premise uses metavars and metavars were bound by named metaterm in conclusion of rule (reverse substitution for them)
9fa88975
fix naming issue when inlining a rule that has where instance in premise uses metavars and metavars were bound by named metaterm in conclusion of rule (reverse substitution for them)