alt_neg_opp.con.body.xml
alt_neg_opp.con.types.xml
alt_not_opp.con.body.xml
alt_not_opp.con.types.xml
not_opp_empty_l.con.body.xml
not_opp_empty_l.con.types.xml
not_opp_empty_r.con.body.xml
not_opp_empty_r.con.types.xml
not_opp_same.con.body.xml
not_opp_same.con.types.xml
opposite_ind.con.body.xml
opposite_ind.con.types.xml
opposite.ind.types.xml
opposite.ind.xml