1.1 --- a/doc-src/manual.bib	Fri Oct 19 10:05:21 2007 +0200
     1.2 +++ b/doc-src/manual.bib	Fri Oct 19 10:44:45 2007 +0200
     1.3 @@ -226,12 +226,11 @@
     1.4    year		= 1972}
     1.5  
     1.6  @InProceedings{bulwahnKN07,
     1.7 -  author =     {Lukas Bulwahn and Alexander Krauss and Tobias Nipkow},
     1.8 -  title =      {Finding Lexicographic Orders for Termination Proofs in {Isabelle/HOL}},
     1.9 -  booktitle =  {TPHOLS 2007},
    1.10 -  year =       {2007},
    1.11 -  publisher =  Springer,
    1.12 -  note =       {To appear}}
    1.13 +  author   = {Lukas Bulwahn and Alexander Krauss and Tobias Nipkow},
    1.14 +  title    = {Finding Lexicographic Orders for Termination Proofs in {Isabelle/HOL}},
    1.15 +  crossref = {tphols2007},
    1.16 +  pages    = {38--53}
    1.17 +}
    1.18  
    1.19  @Article{ban89,
    1.20    author	= {M. Burrows and M. Abadi and R. M. Needham},
    1.21 @@ -1575,6 +1574,15 @@
    1.22    volume        = 4130,
    1.23    year          = 2006}
    1.24  
    1.25 +@Proceedings{tphols2007,
    1.26 +  title         = {Theorem Proving in Higher Order Logics: {TPHOLs} 2007},
    1.27 +  booktitle     = {Theorem Proving in Higher Order Logics: {TPHOLs} 2007},
    1.28 +  editor        = {K. Schneider and J. Brandt},
    1.29 +  publisher     = Springer,
    1.30 +  series        = LNCS,
    1.31 +  volume        = 4732,
    1.32 +  year          = 2007}
    1.33 +
    1.34  @unpublished{classes_modules,
    1.35    title         = {{ML} Modules and {Haskell} Type Classes: A Constructive Comparison},
    1.36    author        = {Stefan Wehr et. al.}