diff -r 19d64368e92d -r 7c3f6f4f2f80 Cookbook/title.html
--- a/Cookbook/title.html Sun Oct 30 22:04:35 2011 +0000
+++ b/Cookbook/title.html Sun Oct 30 22:11:24 2011 +0000
@@ -5,23 +5,26 @@
Isabelle Programming Tutorial
+
-
-
-Isabelle Documentation Project
+
+
+Isabelle Programming Tutorial
funded by the German Research Foundation (DFG)
-
-