From ba343a917c0871a60669e5e95c63a9ed9b796ba4 Mon Sep 17 00:00:00 2001
From: mohring
Date: Fri, 9 Mar 2001 08:12:28 +0000
Subject: *** empty log message ***

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1441 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 CREDITS | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CREDITS b/CREDITS
index 807a29e99c..6f66cf8c11 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)
-- 
cgit v1.2.3