1.1 --- a/doc-src/manual.bib	Mon Sep 03 10:00:24 2007 +0200
     1.2 +++ b/doc-src/manual.bib	Mon Sep 03 16:50:53 2007 +0200
     1.3 @@ -593,6 +593,13 @@
     1.4    crossref =  {ijcar2006},
     1.5    pages =     {589--603}}
     1.6  
     1.7 +@manual{isabelle-function,
     1.8 +  author        = {Alexander Krauss},
     1.9 +  title         = {Defining Recursive Functions in {Isabelle/HOL}},
    1.10 +  institution   = TUM,
    1.11 +  note          = {\url{http://isabelle.in.tum.de/doc/codegen.pdf}}
    1.12 +}
    1.13 +
    1.14  @Book{kunen80,
    1.15    author	= {Kenneth Kunen},
    1.16    title		= {Set Theory: An Introduction to Independence Proofs},