*** empty log message ***

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

1 files changed, 1 insertions, 0 deletions

diff --git a/CREDITS b/CREDITS
index 807a29e99..6f66cf8c1 100644
--- a/CREDITS
+++ b/CREDITS
@@ -44,6 +44,7 @@ The following people have contributed to the development of different versions
 of the Coq Proof assistant during the indicated time :
 
 	Bruno Barras, 	 (INRIA, 1995-2000)
+	Thierry Coquand (INRIA, 1985-1989)
   	Cristina Cornes, (INRIA, 1993-1996)
 	David Delahaye,  (INRIA, 1997-2000)
 	Daniel de Rauglaudre, (INRIA, 1996-1998)