doc-src/manual.bib

--- a/doc-src/manual.bib	Mon Sep 03 10:00:24 2007 +0200
+++ b/doc-src/manual.bib	Mon Sep 03 16:50:53 2007 +0200
@@ -593,6 +593,13 @@
   crossref =  {ijcar2006},
   pages =     {589--603}}
 
+@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}}
+}
+
 @Book{kunen80,
   author	= {Kenneth Kunen},
   title		= {Set Theory: An Introduction to Independence Proofs},