dec.vo: dec.v
dec.vi: dec.v
divides.vo: divides.v ./lemmas.vo ./natZ.vo ./dec.vo ./exp.vo
divides.vi: divides.v ./lemmas.vo ./natZ.vo ./dec.vo ./exp.vo
exp.vo: exp.v ./lemmas.vo ./natZ.vo
exp.vi: exp.v ./lemmas.vo ./natZ.vo
fermat.vo: fermat.v ./lemmas.vo ./natZ.vo ./dec.vo ./list.vo ./exp.vo ./divides.vo ./prime.vo ./modulo.vo ./modprime.vo
fermat.vi: fermat.v ./lemmas.vo ./natZ.vo ./dec.vo ./list.vo ./exp.vo ./divides.vo ./prime.vo ./modulo.vo ./modprime.vo
gcd.vo: gcd.v ./lemmas.vo ./natZ.vo ./divides.vo ./modulo.vo
gcd.vi: gcd.v ./lemmas.vo ./natZ.vo ./divides.vo ./modulo.vo
lemmas.vo: lemmas.v
lemmas.vi: lemmas.v
list.vo: list.v ./dec.vo ./natZ.vo
list.vi: list.v ./dec.vo ./natZ.vo
modprime.vo: modprime.v ./lemmas.vo ./natZ.vo ./dec.vo ./list.vo ./exp.vo ./divides.vo ./prime.vo ./modulo.vo ./gcd.vo
modprime.vi: modprime.v ./lemmas.vo ./natZ.vo ./dec.vo ./list.vo ./exp.vo ./divides.vo ./prime.vo ./modulo.vo ./gcd.vo
modulo.vo: modulo.v ./lemmas.vo ./natZ.vo ./exp.vo ./divides.vo
modulo.vi: modulo.v ./lemmas.vo ./natZ.vo ./exp.vo ./divides.vo
natZ.vo: natZ.v ./lemmas.vo
natZ.vi: natZ.v ./lemmas.vo
order.vo: order.v ./lemmas.vo ./natZ.vo ./dec.vo ./list.vo ./exp.vo ./divides.vo ./prime.vo ./modulo.vo ./modprime.vo ./fermat.vo
order.vi: order.v ./lemmas.vo ./natZ.vo ./dec.vo ./list.vo ./exp.vo ./divides.vo ./prime.vo ./modulo.vo ./modprime.vo ./fermat.vo
Pocklington.vo: Pocklington.v ./lemmas.vo ./dec.vo ./natZ.vo ./list.vo ./divides.vo ./modulo.vo ./exp.vo ./gcd.vo ./prime.vo ./modprime.vo ./fermat.vo ./order.vo ./pock.vo
Pocklington.vi: Pocklington.v ./lemmas.vo ./dec.vo ./natZ.vo ./list.vo ./divides.vo ./modulo.vo ./exp.vo ./gcd.vo ./prime.vo ./modprime.vo ./fermat.vo ./order.vo ./pock.vo
pock.vo: pock.v ./lemmas.vo ./natZ.vo ./dec.vo ./list.vo ./exp.vo ./divides.vo ./prime.vo ./modulo.vo ./gcd.vo ./modprime.vo ./order.vo
pock.vi: pock.v ./lemmas.vo ./natZ.vo ./dec.vo ./list.vo ./exp.vo ./divides.vo ./prime.vo ./modulo.vo ./gcd.vo ./modprime.vo ./order.vo
prime.vo: prime.v ./lemmas.vo ./natZ.vo ./dec.vo ./divides.vo ./modulo.vo ./list.vo
prime.vi: prime.v ./lemmas.vo ./natZ.vo ./dec.vo ./divides.vo ./modulo.vo ./list.vo
dec.html: dec.v
divides.html: divides.v ./lemmas.html ./natZ.html ./dec.html ./exp.html
exp.html: exp.v ./lemmas.html ./natZ.html
fermat.html: fermat.v ./lemmas.html ./natZ.html ./dec.html ./list.html ./exp.html ./divides.html ./prime.html ./modulo.html ./modprime.html
gcd.html: gcd.v ./lemmas.html ./natZ.html ./divides.html ./modulo.html
lemmas.html: lemmas.v
list.html: list.v ./dec.html ./natZ.html
modprime.html: modprime.v ./lemmas.html ./natZ.html ./dec.html ./list.html ./exp.html ./divides.html ./prime.html ./modulo.html ./gcd.html
modulo.html: modulo.v ./lemmas.html ./natZ.html ./exp.html ./divides.html
natZ.html: natZ.v ./lemmas.html
order.html: order.v ./lemmas.html ./natZ.html ./dec.html ./list.html ./exp.html ./divides.html ./prime.html ./modulo.html ./modprime.html ./fermat.html
Pocklington.html: Pocklington.v ./lemmas.html ./dec.html ./natZ.html ./list.html ./divides.html ./modulo.html ./exp.html ./gcd.html ./prime.html ./modprime.html ./fermat.html ./order.html ./pock.html
pock.html: pock.v ./lemmas.html ./natZ.html ./dec.html ./list.html ./exp.html ./divides.html ./prime.html ./modulo.html ./gcd.html ./modprime.html ./order.html
prime.html: prime.v ./lemmas.html ./natZ.html ./dec.html ./divides.html ./modulo.html ./list.html
