Minor changes in rule distinct_elim, nary_elim, distinct_elim, and source code docu. in doc.tex
1 related merge request: !18 Minor changes in rule distinct_elim, nary_elim, distinct_elim, and source code docu. in doc.tex
1 job
2 minutes 58 seconds, queued for 1 seconds