-R ../../../Coqprime Coqprime

prime1.v
prime2.v
prime3.v
prime4.v
prime5.v
prime6.v
prime7.v
prime8.v
prime9.v

