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