
diff -r d94755882e36 -r 94538ddcac9b ProgTutorial/document/root.tex
--- a/ProgTutorial/document/root.tex	Thu May 27 10:39:07 2010 +0200
+++ b/ProgTutorial/document/root.tex	Sat May 29 12:30:02 2010 +0200
@@ -152,7 +152,8 @@
 
 \title{\mbox{}\\[-10ex]
        \includegraphics[scale=0.5]{tutorial-logo.jpg}\\[3ex]
-       The Isabelle Programming Tutorial (draft)}
+       {\huge\bf The Isabelle Cookbook}\\
+       \mbox{A Tutorial for Programming on the ML-Level of Isabelle}\\ (draft)}
 
 \author{by Christian Urban with contributions from:\\[2ex] 
         \begin{tabular}{r@{\hspace{1.8mm}}l}
@@ -162,6 +163,7 @@
         Lukas & Bulwahn\\
         Jeremy & Dawson\\
         Alexander & Krauss\\
+        Tobias & Nipkow\\
         Christian & Sternagel\\ 
         \end{tabular}}
 




