diff options
Diffstat (limited to 'coqprime/examples/Make')
| -rw-r--r-- | coqprime/examples/Make | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/coqprime/examples/Make b/coqprime/examples/Make new file mode 100644 index 000000000..7ad748517 --- /dev/null +++ b/coqprime/examples/Make @@ -0,0 +1,18 @@ +-I ../Tactic +-I ../N +-I ../Z +-I ../PrimalityTest +-I ../List +-I ../elliptic +-I ../num + + +BasePrimes.v +PocklingtonRefl.v +TestLucas.v +prime216656403549020227250327256032933021325435259861468456540459488823774358486649614451547405419273433458932168893949521787.v +prime329719147332060395689499.v +russell1.v +russell2.v + + |