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

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

added 1 commit

• f27d4f85 - Minor change in Contexts section

Compare with previous version

Thank you for the contribution. I apologize for the late merge.

merged

mentioned in commit f4f97a32