Wellfounded.vo: Wellfounded.v Disjoint_Union.vo Inclusion.vo Inverse_Image.vo Lexicographic_Exponentiation.vo Lexicographic_Product.vo Transitive_Closure.vo Union.vo Well_Ordering.vo
Well_Ordering.vo: Well_Ordering.v ../../LOGIC/Eqdep.vo
Union.vo: Union.v ../Relation_Operators.vo ../Relation_Definitions.vo Transitive_Closure.vo
Transitive_Closure.vo: Transitive_Closure.v ../Relation_Definitions.vo ../Relation_Operators.vo
Lexicographic_Product.vo: Lexicographic_Product.v ../../LOGIC/Eqdep.vo ../Relation_Operators.vo Transitive_Closure.vo
Lexicographic_Exponentiation.vo: Lexicographic_Exponentiation.v ../../LOGIC/Eqdep.vo ../../LISTS/PolyList.vo ../../LISTS/PolyListSyntax.vo ../Relation_Operators.vo Transitive_Closure.vo
Inverse_Image.vo: Inverse_Image.v
Inclusion.vo: Inclusion.v ../Relation_Definitions.vo
Disjoint_Union.vo: Disjoint_Union.v ../Relation_Operators.vo
Wellfounded.html: Wellfounded.v Disjoint_Union.html Inclusion.html Inverse_Image.html Lexicographic_Exponentiation.html Lexicographic_Product.html Transitive_Closure.html Union.html Well_Ordering.html
Well_Ordering.html: Well_Ordering.v ../../LOGIC/Eqdep.html
Union.html: Union.v ../Relation_Operators.html ../Relation_Definitions.html Transitive_Closure.html
Transitive_Closure.html: Transitive_Closure.v ../Relation_Definitions.html ../Relation_Operators.html
Lexicographic_Product.html: Lexicographic_Product.v ../../LOGIC/Eqdep.html ../Relation_Operators.html Transitive_Closure.html
Lexicographic_Exponentiation.html: Lexicographic_Exponentiation.v ../../LOGIC/Eqdep.html ../../LISTS/PolyList.html ../../LISTS/PolyListSyntax.html ../Relation_Operators.html Transitive_Closure.html
Inverse_Image.html: Inverse_Image.v
Inclusion.html: Inclusion.v ../Relation_Definitions.html
Disjoint_Union.html: Disjoint_Union.v ../Relation_Operators.html
