
diff -r 5f003fdf2653 -r 4536782969fa CookBook/document/root.tex
--- a/CookBook/document/root.tex	Sat Feb 14 13:20:21 2009 +0000
+++ b/CookBook/document/root.tex	Sat Feb 14 16:09:04 2009 +0000
@@ -123,9 +123,9 @@
 
 \title{\mbox{}\\[-10ex]
        \includegraphics[scale=0.5]{cookbook-logo.jpg}\\[3ex]
-       The Isabelle Programming Tutorial (fragment)}
+       The Isabelle Programming Tutorial (draft)}
 
-\author{with contributions by:\\[2ex] 
+\author{by Christian Urban with contributions from:\\[2ex] 
         \begin{tabular}{r@{\hspace{1.8mm}}l}
         Stefan & Berghofer\\
         Sascha & Böhme\\




