From 5bd7856388aab09823b045387db5b138d80d34af Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 9 Sep 2005 21:05:55 +0000
Subject: Référence pour IntMap
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

diff --git a/CREDITS b/CREDITS
index 3d0dc1502..a04c5ca68 100644
--- a/CREDITS
+++ b/CREDITS
@@ -56,6 +56,8 @@ parsing/search.ml
 	developed by Yves Bertot (INRIA-Lemme, 2000-2004)
 theories/ZArith
 	started by Pierre Crégut (France Telecom R&D, 1996)
+theories/IntMap
+	developed by Jean Goubault-Larrecq (Dyade, 1998)
 ide/
 	developed by Benjamin Monate (LRI, 2003) with contributions 
 	from Claude Marché (INRIA, 2003-2004); some files from ide/utils 
-- 
cgit v1.2.3