1.1 --- a/doc-src/manual.bib	Tue Oct 14 16:01:36 2008 +0200
     1.2 +++ b/doc-src/manual.bib	Tue Oct 14 16:32:26 2008 +0200
     1.3 @@ -232,6 +232,13 @@
     1.4    pages    = {38--53}
     1.5  }
     1.6  
     1.7 +@InProceedings{bulwahn-et-al:2008:imperative,
     1.8 +  author   = {Lukas Bulwahn and Alexander Krauss and Florian Haftmann and Levent Erkök and John Matthews},
     1.9 +  title    = {Imperative Functional Programming with {Isabelle/HOL}},
    1.10 +  crossref = {tphols2008},
    1.11 +}
    1.12 +%  pages    = {38--53}
    1.13 +
    1.14  @Article{ban89,
    1.15    author	= {M. Burrows and M. Abadi and R. M. Needham},
    1.16    title		= {A Logic of Authentication},
    1.17 @@ -1595,6 +1602,15 @@
    1.18    volume        = 4732,
    1.19    year          = 2007}
    1.20  
    1.21 +@Proceedings{tphols2008,
    1.22 +  title         = {Theorem Proving in Higher Order Logics: {TPHOLs} 2008},
    1.23 +  booktitle     = {Theorem Proving in Higher Order Logics: {TPHOLs} 2008},
    1.24 +  publisher     = Springer,
    1.25 +  series        = LNCS,
    1.26 +  year          = 2008}
    1.27 +%  editor        =
    1.28 +%  volume        = 4732,
    1.29 +
    1.30  @unpublished{classes_modules,
    1.31    title         = {{ML} Modules and {Haskell} Type Classes: A Constructive Comparison},
    1.32    author        = {Stefan Wehr et. al.}