diff options
| -rwxr-xr-x | doc/biblio.bib | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/biblio.bib b/doc/biblio.bib index a912643112..1c0a6eab3a 100755 --- a/doc/biblio.bib +++ b/doc/biblio.bib @@ -149,6 +149,15 @@ s}, YEAR = {1993} } +@TECHREPORT{COQ02, + AUTHOR = {The Coq Development Team}, + INSTITUTION = {INRIA}, + MONTH = February, + NUMBER = {255}, + TITLE = {{The Coq Proof Assistant Reference Manual Version 7.2}}, + YEAR = {2002} +} + @TECHREPORT{CPar93, AUTHOR = {C. Parent}, INSTITUTION = {Ecole {Normale} {Sup\'erieure} de {Lyon}}, |