Efficient_Rec/
natlike_ind.con.body.xml
natlike_ind.con.types.xml
natlike_rec2.con.body.xml
natlike_rec2.con.types.xml
natlike_rec3.con.body.xml
natlike_rec3.con.types.xml
natlike_rec.con.body.xml
natlike_rec.con.types.xml
ZL4_inf.con.body.xml
ZL4_inf.con.types.xml
Z_lt_induction.con.body.xml
Z_lt_induction.con.types.xml
Z_lt_rec.con.body.xml
Z_lt_rec.con.types.xml
Z_of_nat_complete.con.body.xml
Z_of_nat_complete.con.types.xml
Z_of_nat_complete_inf.con.body.xml
Z_of_nat_complete_inf.con.types.xml
Z_of_nat_prop.con.body.xml
Z_of_nat_prop.con.types.xml
Z_of_nat_set.con.body.xml
Z_of_nat_set.con.types.xml