adjoint.con.body.xml
adjoint.con.types.xml
a_set.con.body.xml
a_set.con.types.xml
comp_case.con.body.xml
comp_case.con.types.xml
comp_relplus.con.body.xml
comp_relplus.con.types.xml
confluence_en.con.body.xml
confluence_en.con.types.xml
explicit_comp_rel_ind.con.body.xml
explicit_comp_rel_ind.con.types.xml
explicit_comp_rel.ind.types.xml
explicit_comp_rel.ind.xml
explicit_confluence.con.body.xml
explicit_confluence.con.types.xml
explicit_inclus.con.body.xml
explicit_inclus.con.types.xml
explicit_local_confluence.con.body.xml
explicit_local_confluence.con.types.xml
explicit_noetherian.con.body.xml
explicit_noetherian.con.types.xml
explicit_rel_plus_ind.con.body.xml
explicit_rel_plus_ind.con.types.xml
explicit_rel_plus.ind.types.xml
explicit_rel_plus.ind.xml
explicit_star_ind.con.body.xml
explicit_star_ind.con.types.xml
explicit_star.ind.types.xml
explicit_star.ind.xml
explicit_strong_confluence.con.body.xml
explicit_strong_confluence.con.types.xml
Ex_PQ.con.body.xml
Ex_PQ.con.types.xml
hereditary.con.body.xml
hereditary.con.types.xml
inclus_comp.con.body.xml
inclus_comp.con.types.xml
inclus_conf.con.body.xml
inclus_conf.con.types.xml
inclus_reg_star.con.body.xml
inclus_reg_star.con.types.xml
inclus_star.con.body.xml
inclus_star.con.types.xml
local_confluence_en.con.body.xml
local_confluence_en.con.types.xml
noetherian_course_of_values.con.body.xml
noetherian_course_of_values.con.types.xml
noetherian_induction1.con.body.xml
noetherian_induction1.con.types.xml
noetherian_induction.con.body.xml
noetherian_induction.con.types.xml
noether_inclus.con.body.xml
noether_inclus.con.types.xml
plus_preserves_noetherian.con.body.xml
plus_preserves_noetherian.con.types.xml
relations_noetherian/
Rels/
rels_prop/
Rplus_Rstar.con.body.xml
Rplus_Rstar.con.types.xml
Rplus_transitive.con.body.xml
Rplus_transitive.con.types.xml
Rstar_Rplus_R.con.body.xml
Rstar_Rplus_R.con.types.xml
star_case.con.body.xml
star_case.con.types.xml
star_step1.con.body.xml
star_step1.con.types.xml
star_trans.con.body.xml
star_trans.con.types.xml
strong_conf_conf.con.body.xml
strong_conf_conf.con.types.xml
strong_confluence_en.con.body.xml
strong_confluence_en.con.types.xml
sub.con.body.xml
sub.con.types.xml
universal.con.body.xml
universal.con.types.xml