dec_eq_nat.con.body.xml
dec_eq_nat.con.types.xml
eq_nat_dec.con.body.xml
eq_nat_dec.con.types.xml
O_or_S.con.body.xml
O_or_S.con.types.xml