-R ../../Coqprime Coqprime

../examples/BasePrimes.v
../examples/PocklingtonRefl.v
../examples/TestLucas.v
../examples/prime21665NNNN21787.v
../examples/prime329719147332060395689499.v  
../examples/russell1.v
../examples/russell2.v


