From 5b04201f606cfb6167d7f38af52622d1271e6303 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 30 Apr 2004 15:45:52 +0000
Subject: Suppression d'une redondance

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8566 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/newfaq/fk.bib | 11 -----------
 1 file changed, 11 deletions(-)

(limited to 'doc')

diff --git a/doc/newfaq/fk.bib b/doc/newfaq/fk.bib
index 594de63484..c45e2c4ac4 100644
--- a/doc/newfaq/fk.bib
+++ b/doc/newfaq/fk.bib
@@ -246,17 +246,6 @@ year = {1981}
   year = 1999,
 }
 
-@INPROCEEDINGS{CoPa89,
-  AUTHOR = {Th. Coquand and C. Paulin-Mohring},
-  BOOKTITLE = {Proceedings of Colog'88},
-  EDITOR = {P. Martin-L{\"o}f and G. Mints},
-  SERIES = {Lecture Notes in Computer Science},
-  VOLUME = 417,
-  PUBLISHER = {Springer-Verlag},
-  TITLE = {Inductively defined types},
-  YEAR = {1990}
-}
-
 @MANUAL{CoqManualV7,
   AUTHOR = {{The {Coq} Development Team}},
   TITLE = {{The Coq Proof Assistant Reference Manual -- Version
-- 
cgit v1.2.3