clos_refl_sym_trans_ind.con.body.xml
clos_refl_sym_trans_ind.con.types.xml
clos_refl_sym_trans.ind.types.xml
clos_refl_sym_trans.ind.xml
clos_refl_trans_ind.con.body.xml
clos_refl_trans_ind.con.types.xml
clos_refl_trans.ind.types.xml
clos_refl_trans.ind.xml
clos_trans_ind.con.body.xml
clos_trans_ind.con.types.xml
clos_trans.ind.types.xml
clos_trans.ind.xml
Desc_ind.con.body.xml
Desc_ind.con.types.xml
Desc.ind.types.xml
Desc.ind.xml
Disjoint_Union/
le_AsB_ind.con.body.xml
le_AsB_ind.con.types.xml
le_AsB.ind.types.xml
le_AsB.ind.xml
lex_exp.con.body.xml
lex_exp.con.types.xml
Lexicographic_Exponentiation/
Lexicographic_Product/
lexprod_ind.con.body.xml
lexprod_ind.con.types.xml
lexprod.ind.types.xml
lexprod.ind.xml
Ltl_ind.con.body.xml
Ltl_ind.con.types.xml
Ltl.ind.types.xml
Ltl.ind.xml
Pow.con.body.xml
Pow.con.types.xml
Reflexive_Symetric_Transitive_Closure/
Reflexive_Transitive_Closure/
Swap/
swapprod_ind.con.body.xml
swapprod_ind.con.types.xml
swapprod.ind.types.xml
swapprod.ind.xml
Symmetric_Product/
symprod_ind.con.body.xml
symprod_ind.con.types.xml
symprod.ind.types.xml
symprod.ind.xml
Transitive_Closure/
transp.con.body.xml
transp.con.types.xml
Transposee/
Union/
union.con.body.xml
union.con.types.xml