1.1 --- a/doc-src/manual.bib	Sun Nov 29 20:23:03 2009 +0100
     1.2 +++ b/doc-src/manual.bib	Mon Nov 30 08:44:08 2009 +0100
     1.3 @@ -172,6 +172,14 @@
     1.4    title =        {Calculational reasoning revisited --- an {Isabelle/Isar} experience},
     1.5    crossref =     {tphols2001}}
     1.6  
     1.7 +@inProceedings{Berghofer-Bulwahn-Haftmann:2009:TPHOL,
     1.8 +    author = {Berghofer, Stefan and Bulwahn, Lukas and Haftmann, Florian},
     1.9 +    booktitle = {Theorem Proving in Higher Order Logics},
    1.10 +    pages = {131--146},
    1.11 +    title = {Turning Inductive into Equational Specifications},
    1.12 +    year = {2009}
    1.13 +}
    1.14 +
    1.15  @INPROCEEDINGS{Berghofer-Nipkow:2000:TPHOL,
    1.16    crossref        = "tphols2000",
    1.17    title           = "Proof terms for simply typed higher order logic",