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)