Skip to content
Snippets Groups Projects

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

Passed
Mallku Soldevila created pipeline for commit eb70d3fc
, finished
1 job 2 minutes 58 seconds, queued for 1 seconds