prime1.vo: prime1.v ../PocklingtonRefl.vo
prime1.vi: prime1.v ../PocklingtonRefl.vo
prime2.vo: prime2.v ../PocklingtonRefl.vo
prime2.vi: prime2.v ../PocklingtonRefl.vo
prime3.vo: prime3.v ../PocklingtonRefl.vo
prime3.vi: prime3.v ../PocklingtonRefl.vo
prime4.vo: prime4.v ../PocklingtonRefl.vo
prime4.vi: prime4.v ../PocklingtonRefl.vo
prime5.vo: prime5.v ../PocklingtonRefl.vo
prime5.vi: prime5.v ../PocklingtonRefl.vo
prime6.vo: prime6.v ../PocklingtonRefl.vo
prime6.vi: prime6.v ../PocklingtonRefl.vo
prime7.vo: prime7.v ../PocklingtonRefl.vo
prime7.vi: prime7.v ../PocklingtonRefl.vo
prime8.vo: prime8.v ../PocklingtonRefl.vo
prime8.vi: prime8.v ../PocklingtonRefl.vo
prime9.vo: prime9.v ../PocklingtonRefl.vo
prime9.vi: prime9.v ../PocklingtonRefl.vo
prime1.html: prime1.v ../PocklingtonRefl.html
prime2.html: prime2.v ../PocklingtonRefl.html
prime3.html: prime3.v ../PocklingtonRefl.html
prime4.html: prime4.v ../PocklingtonRefl.html
prime5.html: prime5.v ../PocklingtonRefl.html
prime6.html: prime6.v ../PocklingtonRefl.html
prime7.html: prime7.v ../PocklingtonRefl.html
prime8.html: prime8.v ../PocklingtonRefl.html
prime9.html: prime9.v ../PocklingtonRefl.html
