1.1 --- a/doc-src/manual.bib	Mon Nov 05 15:01:21 2007 +0100
     1.2 +++ b/doc-src/manual.bib	Mon Nov 05 15:04:19 2007 +0100
     1.3 @@ -604,7 +604,7 @@
     1.4    author        = {Alexander Krauss},
     1.5    title         = {Defining Recursive Functions in {Isabelle/HOL}},
     1.6    institution   = TUM,
     1.7 -  note          = {\url{http://isabelle.in.tum.de/doc/codegen.pdf}}
     1.8 +  note          = {\url{http://isabelle.in.tum.de/doc/functions.pdf}}
     1.9  }
    1.10  
    1.11  @Book{kunen80,