and_not_or.con.body.xml
and_not_or.con.types.xml
classic.con.types.xml
imply_and_or2.con.body.xml
imply_and_or2.con.types.xml
imply_and_or.con.body.xml
imply_and_or.con.types.xml
imply_to_and.con.body.xml
imply_to_and.con.types.xml
imply_to_or.con.body.xml
imply_to_or.con.types.xml
NNPP.con.body.xml
NNPP.con.types.xml
not_and_or.con.body.xml
not_and_or.con.types.xml
not_imply_elim2.con.body.xml
not_imply_elim2.con.types.xml
not_imply_elim.con.body.xml
not_imply_elim.con.types.xml
not_or_and.con.body.xml
not_or_and.con.types.xml
or_not_and.con.body.xml
or_not_and.con.types.xml
or_to_imply.con.body.xml
or_to_imply.con.types.xml
proof_irrelevance.con.body.xml
proof_irrelevance.con.types.xml