selection_valid.vo: selection_valid.v ../../lib/coq/Why.vo ./selection_why.vo
selection_why.vo: selection_why.v ../../lib/coq/Why.vo
