Wf.vo: Wf.v Logic.vo LogicSyntax.vo
SpecifSyntax.vo: SpecifSyntax.v LogicSyntax.vo Specif.vo
Specif.vo: Specif.v Logic.vo LogicSyntax.vo
Prelude.vo: Prelude.v Core.vo Datatypes.vo DatatypesSyntax.vo Logic.vo LogicSyntax.vo Specif.vo SpecifSyntax.vo Peano.vo Wf.vo
Peano.vo: Peano.v Logic.vo LogicSyntax.vo Datatypes.vo
Logic_TypeSyntax.vo: Logic_TypeSyntax.v Logic_Type.vo
Logic_Type.vo: Logic_Type.v Logic.vo LogicSyntax.vo
LogicSyntax.vo: LogicSyntax.v Logic.vo
Logic.vo: Logic.v Datatypes.vo
DatatypesSyntax.vo: DatatypesSyntax.v Datatypes.vo
Datatypes.vo: Datatypes.v
Core.vo: Core.v
Wf.html: Wf.v Logic.html LogicSyntax.html
SpecifSyntax.html: SpecifSyntax.v LogicSyntax.html Specif.html
Specif.html: Specif.v Logic.html LogicSyntax.html
Prelude.html: Prelude.v Core.html Datatypes.html DatatypesSyntax.html Logic.html LogicSyntax.html Specif.html SpecifSyntax.html Peano.html Wf.html
Peano.html: Peano.v Logic.html LogicSyntax.html Datatypes.html
Logic_TypeSyntax.html: Logic_TypeSyntax.v Logic_Type.html
Logic_Type.html: Logic_Type.v Logic.html LogicSyntax.html
LogicSyntax.html: LogicSyntax.v Logic.html
Logic.html: Logic.v Datatypes.html
DatatypesSyntax.html: DatatypesSyntax.v Datatypes.html
Datatypes.html: Datatypes.v
Core.html: Core.v
