1.1 --- a/doc-src/manual.bib	Mon Nov 23 15:05:59 2009 +0100
     1.2 +++ b/doc-src/manual.bib	Mon Nov 23 15:06:34 2009 +0100
     1.3 @@ -660,6 +660,14 @@
     1.4    crossref =  {ijcar2006},
     1.5    pages =     {589--603}}
     1.6  
     1.7 +@PhdThesis{krauss_phd,
     1.8 +	author = {Alexander Krauss},
     1.9 +	title = {Automating Recursive Definitions and Termination Proofs in Higher-Order Logic},
    1.10 +  school = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
    1.11 +	year = {2009},
    1.12 +	address = {Germany}
    1.13 +}
    1.14 +
    1.15  @manual{isabelle-function,
    1.16    author        = {Alexander Krauss},
    1.17    title         = {Defining Recursive Functions in {Isabelle/HOL}},