Pocklington.vo:	Pocklington.v list.vo divides.vo mod.vo exp.vo\
		gcd.vo prime.vo pock.vo
		coqc Pocklington.v

pock.vo:	pock.v lemmas.vo natZ.vo dec.vo list.vo\
		exp.vo divides.vo prime.vo mod.vo gcd.vo modprime.vo
		coqc pock.v

modprime.vo:	modprime.v lemmas.vo natZ.vo dec.vo\
		exp.vo divides.vo prime.vo mod.vo gcd.vo
		coqc modprime.v

prime.vo:	prime.v lemmas.vo dec.vo divides.vo mod.vo
		coqc prime.v

mod.vo:		mod.v natZ.vo exp.vo divides.vo
		coqc mod.v

gcd.vo:		gcd.v lemmas.vo natZ.vo divides.vo mod.vo
		coqc gcd.v

divides.vo:	divides.v lemmas.vo natZ.vo dec.vo exp.vo
		coqc divides.v

exp.vo:		exp.v lemmas.vo natZ.vo
		coqc exp.v

list.vo:	list.v dec.vo
		coqc list.v

dec.vo:		dec.v
		coqc dec.v

natZ.vo:	natZ.v lemmas.vo
		coqc natZ.v

lemmas.vo:	lemmas.v
		coqc lemmas.v

clean:
		rm -f *.vo