From 89135dce8b10a59fd6c50b6d1867cfc11f276b75 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 28 Aug 2006 09:22:55 +0000
Subject: Ajout thèse Cornes

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9089 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/refman/biblio.bib | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/doc/refman/biblio.bib b/doc/refman/biblio.bib
index 4a8bad4291..d16c82c5fe 100644
--- a/doc/refman/biblio.bib
+++ b/doc/refman/biblio.bib
@@ -296,6 +296,15 @@ s},
         crossref = {Nijmegen93}
 }
 
+@PHDTHESIS{Cor97,
+        AUTHOR             = {C. Cornes},
+        MONTH              = nov,
+        SCHOOL             = {{Universit\'e Paris 7}},
+        TITLE              = {Conception d'un langage de haut niveau de représentation de preuves},
+        TYPE               = {Th\`ese de Doctorat},
+        YEAR               = {1997}
+}
+
 @MASTERSTHESIS{Cou94a,
         AUTHOR             = {J. Courant},
         MONTH              = sep,
-- 
cgit v1.2.3