diff options
Diffstat (limited to 'CREDITS')
| -rw-r--r-- | CREDITS | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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) |