absurd.con.body.xml
absurd.con.types.xml
all.con.body.xml
all.con.types.xml
and_ind.con.body.xml
and_ind.con.types.xml
and.ind.types.xml
and.ind.xml
and_rec.con.body.xml
and_rec.con.types.xml
and_rect.con.body.xml
and_rect.con.types.xml
Conjunction/
eq_ind.con.body.xml
eq_ind.con.types.xml
eq_ind_r.con.body.xml
eq_ind_r.con.types.xml
eq.ind.types.xml
eq.ind.xml
eq_rec.con.body.xml
eq_rec.con.types.xml
eq_rec_r.con.body.xml
eq_rec_r.con.types.xml
eq_rect.con.body.xml
eq_rect.con.types.xml
eq_rect_r.con.body.xml
eq_rect_r.con.types.xml
ex2_ind.con.body.xml
ex2_ind.con.types.xml
ex2.ind.types.xml
ex2.ind.xml
ex_ind.con.body.xml
ex_ind.con.types.xml
ex.ind.types.xml
ex.ind.xml
False_ind.con.body.xml
False_ind.con.types.xml
False.ind.types.xml
False.ind.xml
False_rec.con.body.xml
False_rec.con.types.xml
False_rect.con.body.xml
False_rect.con.types.xml
f_equal2.con.body.xml
f_equal2.con.types.xml
f_equal3.con.body.xml
f_equal3.con.types.xml
f_equal4.con.body.xml
f_equal4.con.types.xml
f_equal5.con.body.xml
f_equal5.con.types.xml
f_equal.con.body.xml
f_equal.con.types.xml
gen.con.body.xml
gen.con.types.xml
iff.con.body.xml
iff.con.types.xml
iff_refl.con.body.xml
iff_refl.con.types.xml
iff_sym.con.body.xml
iff_sym.con.types.xml
iff_trans.con.body.xml
iff_trans.con.types.xml
IF_then_else.con.body.xml
IF_then_else.con.types.xml
inst.con.body.xml
inst.con.types.xml
Logic_lemmas/
not.con.body.xml
not.con.types.xml
or_ind.con.body.xml
or_ind.con.types.xml
or.ind.types.xml
or.ind.xml
proj1.con.body.xml
proj1.con.types.xml
proj2.con.body.xml
proj2.con.types.xml
sym_eq.con.body.xml
sym_eq.con.types.xml
sym_equal.con.body.xml
sym_equal.con.types.xml
sym_not_eq.con.body.xml
sym_not_eq.con.types.xml
sym_not_equal.con.body.xml
sym_not_equal.con.types.xml
trans_eq.con.body.xml
trans_eq.con.types.xml
trans_equal.con.body.xml
trans_equal.con.types.xml
True_ind.con.body.xml
True_ind.con.types.xml
True.ind.types.xml
True.ind.xml
True_rec.con.body.xml
True_rec.con.types.xml
True_rect.con.body.xml
True_rect.con.types.xml
universal_quantification/