Lemma1.con.body.xml
Lemma1.con.types.xml
Rplus_contains_R.con.body.xml
Rplus_contains_R.con.types.xml
Rstar_cases.con.body.xml
Rstar_cases.con.types.xml
Rstar_contains_R.con.body.xml
Rstar_contains_R.con.types.xml
Rstar_contains_Rplus.con.body.xml
Rstar_contains_Rplus.con.types.xml
Rstar_equiv_Rstar1.con.body.xml
Rstar_equiv_Rstar1.con.types.xml
Rstar_reflexive.con.body.xml
Rstar_reflexive.con.types.xml
RstarRplus_RRstar.con.body.xml
RstarRplus_RRstar.con.types.xml
Rstar_transitive.con.body.xml
Rstar_transitive.con.types.xml
Rsym_imp_Rstarsym.con.body.xml
Rsym_imp_Rstarsym.con.types.xml
Sstar_contains_Rstar.con.body.xml
Sstar_contains_Rstar.con.types.xml
star_monotone.con.body.xml
star_monotone.con.types.xml