1 files changed, 0 insertions, 24 deletions
diff --git a/coqprime/_CoqProject b/coqprime/_CoqProject
deleted file mode 100644
index 95b224864..000000000
--- a/coqprime/_CoqProject
+++ /dev/null
@@ -1,24 +0,0 @@
--R Coqprime Coqprime
-Coqprime/Cyclic.v
-Coqprime/EGroup.v
-Coqprime/Euler.v
-Coqprime/FGroup.v
-Coqprime/IGroup.v
-Coqprime/Iterator.v
-Coqprime/Lagrange.v
-Coqprime/ListAux.v
-Coqprime/LucasLehmer.v
-Coqprime/NatAux.v
-Coqprime/PGroup.v
-Coqprime/Permutation.v
-Coqprime/Pmod.v
-Coqprime/Pocklington.v
-Coqprime/PocklingtonCertificat.v
-Coqprime/Root.v
-Coqprime/Tactic.v
-Coqprime/UList.v
-Coqprime/ZCAux.v
-Coqprime/ZCmisc.v
-Coqprime/ZProgression.v
-Coqprime/ZSum.v
-Coqprime/Zp.v