distance_valid.vo: distance_valid.v ../../lib/coq/Why.vo ./distance_why.vo
distance_why.vo: distance_why.v ../../lib/coq/Why.vo ./words.vo
words.vo: words.v ../../lib/coq/WhyArrays.vo
