From 324d6e27061689e74c7dafd863fa3d23a8f2716a Mon Sep 17 00:00:00 2001
From: jforest
Date: Mon, 17 Jul 2006 08:42:00 +0000
Subject: MAJ

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9051 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/refman/RefMan-gal.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/refman/RefMan-gal.tex b/doc/refman/RefMan-gal.tex
index f480fc0d2c..8f79af2be1 100644
--- a/doc/refman/RefMan-gal.tex
+++ b/doc/refman/RefMan-gal.tex
@@ -1513,7 +1513,7 @@ of \term$_0$.
 
 %Complete!!
 The way this recursive function is defined is the subject of several
-papers by Yves Bertot, Julien Forest, David Pichardie.
+papers by Yves Bertot and Antonia Balaa on one hand and  Gilles Barthe, Julien Forest, David Pichardie and Vlad Rusu on the other hand.
 
 %Exemples ok ici
 
-- 
cgit v1.2.3