1 files changed, 0 insertions, 11 deletions
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