confluence_beta_reduction.con.body.xml
confluence_beta_reduction.con.types.xml
confluence.con.body.xml
confluence.con.types.xml
confluence_parallel_reduction.con.body.xml
confluence_parallel_reduction.con.types.xml
lemma1.con.body.xml
lemma1.con.types.xml
lemma2.con.body.xml
lemma2.con.types.xml
parallel_moves.con.body.xml
parallel_moves.con.types.xml
strip.con.body.xml
strip.con.types.xml
strip_lemma_l.con.body.xml
strip_lemma_l.con.types.xml
strip_lemma_r.con.body.xml
strip_lemma_r.con.types.xml