bool_eq_ind.con.body.xml
bool_eq_ind.con.types.xml
bool_eq_rec.con.body.xml
bool_eq_rec.con.types.xml
bool_of_sumbool.con.body.xml
bool_of_sumbool.con.types.xml
connectives/
sumbool_and.con.body.xml
sumbool_and.con.types.xml
sumbool_not.con.body.xml
sumbool_not.con.types.xml
sumbool_of_bool.con.body.xml
sumbool_of_bool.con.types.xml
sumbool_or.con.body.xml
sumbool_or.con.types.xml