diff --git a/CREDITS b/CREDITS
index 4f1071612d5b..da6a07be79e3 100644
--- a/CREDITS
+++ b/CREDITS
@@ -1,6 +1,6 @@
 The "Coq proof assistant" was jointly developed by
 - INRIA Formel, Coq, LogiCal, ProVal, TypiCal, Marelle,
-  pi.r2, Ascola, Galinette projects (starting 1985),
+  pi.r2, Ascola, Galinette, Stamp, Picube projects (starting 1985),
 - Laboratoire de l'Informatique du Parallelisme (LIP)
   associated to CNRS and ENS Lyon (Sep. 1989 to Aug. 1997),
 - Laboratoire de Recherche en Informatique (LRI)