Skip to content

Minor changes in rule distinct_elim, nary_elim, distinct_elim, and source code docu. in doc.tex

Mallku Soldevila requested to merge fixes_mallku into master

Simple fixes to the mentioned rules, and a small improvement proposal to a specific case of rule nary_elim.

Merge request reports