find_lemmas.vo: find_lemmas.v ./find_spec.vo ../../lib/coq/Why.vo
find_proofs.vo: find_proofs.v ./find_spec.vo ./find_lemmas.vo ../../lib/coq/Why.vo
find_spec.vo: find_spec.v ../../lib/coq/WhyArrays.vo
find_valid.vo: find_valid.v ../../lib/coq/Why.vo ./find_why.vo
find_why.vo: find_why.v ./find_spec.vo ./find_lemmas.vo ./find_proofs.vo ../../lib/coq/Why.vo
