
all: find_lemmas.vo find_proofs.vo find_spec.vo find_valid.vo

include ../Makefile.common
