clos_refl_trans_ind_left.con.body.xml
clos_refl_trans_ind_left.con.types.xml
clos_rst_idempotent.con.body.xml
clos_rst_idempotent.con.types.xml
clos_rst_is_equiv.con.body.xml
clos_rst_is_equiv.con.types.xml
clos_rt_clos_rst.con.body.xml
clos_rt_clos_rst.con.types.xml
clos_rt_idempotent.con.body.xml
clos_rt_idempotent.con.types.xml
clos_rt_is_preorder.con.body.xml
clos_rt_is_preorder.con.types.xml
Properties/