Zerob.vo: Zerob.v ../ARITH/Arith.vo Bool.vo
Sumbool.vo: Sumbool.v
IfProp.vo: IfProp.v Bool.vo
DecBool.vo: DecBool.v
Bool.vo: Bool.v
Zerob.html: Zerob.v ../ARITH/Arith.html Bool.html
Sumbool.html: Sumbool.v
IfProp.html: IfProp.v Bool.html
DecBool.html: DecBool.v
Bool.html: Bool.v
