Restriction au implémenteurs

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9293 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 3 insertions, 3 deletions

diff --git a/CREDITS b/CREDITS
index 616ceec5d..bd8d5788b 100644
--- a/CREDITS
+++ b/CREDITS
@@ -39,15 +39,15 @@ contrib/fourier
   developed by Loïc Pottier (INRIA-Lemme, 2001)
 contrib/funind
   developed by Pierre Courtieu (INRIA-Lemme, 2003-2004, CNAM, 2004-2006),
-  Julien Forest (INRIA-Everest, 2006) and Yves Bertot (INRIA-Marelle, 2006),
-  based on joint work with David Pichardie, Gilles Barthe and Vlad Rusu.
+  Julien Forest (INRIA-Everest, 2006) 
+  and Yves Bertot (INRIA-Marelle, 2005-2006).
 contrib/interface
   developed by Yves Bertot with contributions from Loïc Pottier and
   Laurence Rideau as part of the Pcoq project (INRIA-Lemme, 1997-2006)
 contrib/omega
   developed by Pierre Crégut (France Telecom R&D, 1996)
 contrib/recdef
-  developed by Yves Bertot (INRIA-Marelle, 2005)
+  developed by Yves Bertot (INRIA-Marelle, 2005-2006)
 contrib/ring
   developed by Samuel Boutin (INRIA-Coq, 1996) and Patrick 
   Loiseleur (LRI, 1997-1999)