compute_nf.con.body.xml
compute_nf.con.types.xml
eqterm.con.body.xml
eqterm.con.types.xml
is_conv.con.body.xml
is_conv.con.types.xml
norm_body.con.body.xml
norm_body.con.types.xml
ord_norm1.con.body.xml
ord_norm1.con.types.xml
ord_norm.con.body.xml
ord_norm.con.types.xml
red_red1_ord_norm.con.body.xml
red_red1_ord_norm.con.types.xml
subterm_ord_norm.con.body.xml
subterm_ord_norm.con.types.xml
wf_ord_norm1.con.body.xml
wf_ord_norm1.con.types.xml
wf_ord_norm.con.body.xml
wf_ord_norm.con.types.xml
wf_subterm.con.body.xml
wf_subterm.con.types.xml