From afe8a991c85307b91138e581fceca8b673b068b0 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 30 Jan 2003 14:13:36 +0000
Subject: Ajout {A New Paradox in Type Theory}

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

(limited to 'doc')

diff --git a/doc/biblio.bib b/doc/biblio.bib
index e9e23e8027..8a6380d5ed 100755
--- a/doc/biblio.bib
+++ b/doc/biblio.bib
@@ -260,6 +260,14 @@ s},
         YEAR               = {1990}
 }
 
+@INPROCEEDINGS{Coq91,
+        AUTHOR             = {Th. Coquand},
+        BOOKTITLE          = {Proceedings 9th Int. Congress of Logic, Methodology and Philosophy of Science},
+        TITLE              = {{A New Paradox in Type Theory}},
+        MONTH              = {August},
+        YEAR               = {1991}
+}
+
 @INPROCEEDINGS{Coq92,
         AUTHOR             = {Th. Coquand},
         BOOKTITLE          = {in \cite{Bastad92}},
-- 
cgit v1.2.3