cardinal_elim.con.body.xml
cardinal_elim.con.types.xml
cardinal_ind.con.body.xml
cardinal_ind.con.types.xml
cardinal.ind.types.xml
cardinal.ind.xml
cardinal_invert.con.body.xml
cardinal_invert.con.types.xml
Ensembles_finis/
Ensembles_finis_facts/
Finite_ind.con.body.xml
Finite_ind.con.types.xml
Finite.ind.types.xml
Finite.ind.xml