Relations_2/
Rplus_ind.con.body.xml
Rplus_ind.con.types.xml
Rplus.ind.types.xml
Rplus.ind.xml
Rstar1_ind.con.body.xml
Rstar1_ind.con.types.xml
Rstar1.ind.types.xml
Rstar1.ind.xml
Rstar_ind.con.body.xml
Rstar_ind.con.types.xml
Rstar.ind.types.xml
Rstar.ind.xml
Strongly_confluent.con.body.xml
Strongly_confluent.con.types.xml