1.1 --- a/doc-src/manual.bib	Fri Jun 01 15:14:05 2007 +0200
     1.2 +++ b/doc-src/manual.bib	Fri Jun 01 15:18:31 2007 +0200
     1.3 @@ -225,6 +225,14 @@
     1.4    pages		= {381-392},
     1.5    year		= 1972}
     1.6  
     1.7 +@InProceedings{bulwahnKN07,
     1.8 +  author =     {Lukas Bulwahn and Alexander Krauss and Tobias Nipkow},
     1.9 +  title =      {Finding Lexicographic Orders for Termination Proofs in {Isabelle/HOL}},
    1.10 +  booktitle =  {TPHOLS 2007},
    1.11 +  year =       {2007},
    1.12 +  publisher =  Springer,
    1.13 +  note =       {To appear}}
    1.14 +
    1.15  @Article{ban89,
    1.16    author	= {M. Burrows and M. Abadi and R. M. Needham},
    1.17    title		= {A Logic of Authentication},
    1.18 @@ -563,6 +571,12 @@
    1.19    volume	= 27,
    1.20    pages		= {97-109}}
    1.21  
    1.22 +@InProceedings{krauss2006,
    1.23 +  author   =  {Alexander Krauss},
    1.24 +  title    =  {Partial Recursive Functions in {Higher-Order Logic}},
    1.25 +  crossref =  {ijcar2006},
    1.26 +  pages =     {589--603}}
    1.27 +
    1.28  @Book{kunen80,
    1.29    author	= {Kenneth Kunen},
    1.30    title		= {Set Theory: An Introduction to Independence Proofs},
    1.31 @@ -1139,13 +1153,8 @@
    1.32  @inproceedings{slind-tfl,
    1.33    author	= {Konrad Slind},
    1.34    title		= {Function Definition in Higher Order Logic},
    1.35 -  booktitle	= {Theorem Proving in Higher Order Logics},
    1.36 -  editor	= {J. von Wright and J. Grundy and J. Harrison},
    1.37 -  publisher	= Springer,
    1.38 -  series	= LNCS,
    1.39 -  volume	= 1125,
    1.40 -  pages		= {381-397},
    1.41 -  year		= 1996}
    1.42 +  crossref  = {tphols96},
    1.43 +  pages		= {381-397}}
    1.44  
    1.45  @book{suppes72,
    1.46    author	= {Patrick Suppes},
    1.47 @@ -1508,6 +1517,15 @@
    1.48    volume        = 2152,
    1.49    year          = 2001}
    1.50  
    1.51 +@Proceedings{ijcar2006,
    1.52 +  title         = {Automated Reasoning: {IJCAR} 2006},
    1.53 +  booktitle     = {Automated Reasoning: {IJCAR} 2006},
    1.54 +  editor        = {U. Furbach and N. Shankar},
    1.55 +  publisher     = Springer,
    1.56 +  series        = LNCS,
    1.57 +  volume        = 4130,
    1.58 +  year          = 2006}
    1.59 +
    1.60  @unpublished{classes_modules,
    1.61    title         = {ML Modules and Haskell Type Classes: A Constructive Comparison},
    1.62    author        = {Stefan Wehr et. al.}