doc-src/manual.bib

 
 @manual{isabelle-function,
   author        = {Alexander Krauss},
   title         = {Defining Recursive Functions in {Isabelle/HOL}},
   institution   = TUM,
-  note          = {\url{http://isabelle.in.tum.de/doc/codegen.pdf}}
+  note          = {\url{http://isabelle.in.tum.de/doc/functions.pdf}}
 }
 
 @Book{kunen80,
   author	= {Kenneth Kunen},
   title		= {Set Theory: An Introduction to Independence Proofs},