1.1 --- a/doc-src/manual.bib	Mon Mar 08 15:20:40 2010 -0800
     1.2 +++ b/doc-src/manual.bib	Tue Mar 09 09:25:23 2010 +0100
     1.3 @@ -1759,3 +1759,12 @@
     1.4    key = "Wikipedia",
     1.5    title = "Wikipedia: {AA} Tree",
     1.6    note = "\url{http://en.wikipedia.org/wiki/AA_tree}"}
     1.7 +
     1.8 +@incollection{lochbihler-2010,
     1.9 +  title = "Coinduction",
    1.10 +  author = "Andreas Lochbihler",
    1.11 +  booktitle = "The Archive of Formal Proofs",
    1.12 +  editor = "Gerwin Klein and Tobias Nipkow and Lawrence C. Paulson",
    1.13 +  publisher = "\url{http://afp.sourceforge.net/entries/Coinductive.shtml}",
    1.14 +  month = "Feb.",
    1.15 +  year = 2010}