Rstar.vo: Rstar.v
Relations.vo: Relations.v Relation_Definitions.vo Relation_Operators.vo Operators_Properties.vo
Relation_Operators.vo: Relation_Operators.v Relation_Definitions.vo ../LISTS/PolyList.vo ../LISTS/PolyListSyntax.vo
Relation_Definitions.vo: Relation_Definitions.v
Operators_Properties.vo: Operators_Properties.v Relation_Definitions.vo Relation_Operators.vo
Newman.vo: Newman.v Rstar.vo
Rstar.html: Rstar.v
Relations.html: Relations.v Relation_Definitions.html Relation_Operators.html Operators_Properties.html
Relation_Operators.html: Relation_Operators.v Relation_Definitions.html ../LISTS/PolyList.html ../LISTS/PolyListSyntax.html
Relation_Definitions.html: Relation_Definitions.v
Operators_Properties.html: Operators_Properties.v Relation_Definitions.html Relation_Operators.html
Newman.html: Newman.v Rstar.html
