diff options
Diffstat (limited to 'doc/faq/fk.bib')
-rw-r--r-- | doc/faq/fk.bib | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/faq/fk.bib b/doc/faq/fk.bib index 976b36b0..d41ab7f0 100644 --- a/doc/faq/fk.bib +++ b/doc/faq/fk.bib @@ -1117,9 +1117,10 @@ cedures.}, @Manual{Coq:manual, title = {The Coq proof assistant reference manual}, author = {\mbox{The Coq development team}}, - note = {Version 8.3}, - year = {2010}, - url = "http://coq.inria.fr/doc" + organization = {LogiCal Project}, + note = {Version 8.0}, + year = {2004}, + url = "http://coq.inria.fr" } @string{jfp = "Journal of Functional Programming"} |