• Sylvain Dailler's avatar
    Fix issue #79 · d8017e38
    Sylvain Dailler authored
    For first_order_matching, adding a bound_vars set to disallow substitution
    by terms containing bounded vars.
    d8017e38
apply.ml 25.2 KB