church_rosser.con.body.xml
church_rosser.con.types.xml
confluence_par_red.con.body.xml
confluence_par_red.con.types.xml
confluence_red.con.body.xml
confluence_red.con.types.xml
conv_kind_prop.con.body.xml
conv_kind_prop.con.types.xml
conv_sort.con.body.xml
conv_sort.con.types.xml
conv_sort_prod.con.body.xml
conv_sort_prod.con.types.xml
inv_conv_prod_l.con.body.xml
inv_conv_prod_l.con.types.xml
inv_conv_prod_r.con.body.xml
inv_conv_prod_r.con.types.xml
nf_uniqueness.con.body.xml
nf_uniqueness.con.types.xml
str_confluence_par_red1.con.body.xml
str_confluence_par_red1.con.types.xml
str_confluent.con.body.xml
str_confluent.con.types.xml
strip_lemma.con.body.xml
strip_lemma.con.types.xml