Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Doc/manual.bib
changeset 54384 50199af40c27
parent 54337 2cf5d0a560ec
parent 54146 97f69d44f732
child 54583 3936fb5803d6 
--- a/src/Doc/manual.bib	Mon Nov 11 17:34:44 2013 +0100
+++ b/src/Doc/manual.bib	Mon Nov 11 17:44:21 2013 +0100
@@ -926,7 +926,7 @@
   note = "\url{https://github.com/frelindb/agsyHOL}"}
 
 @incollection{lochbihler-2010,
-  title = "Coinduction",
+  title = "Coinductive",
   author = "Andreas Lochbihler",
   booktitle = "The Archive of Formal Proofs",
   editor = "Gerwin Klein and Tobias Nipkow and Lawrence C. Paulson",
isabelle