diff -r 8355bfc8d35d -r 19d64368e92d Cookbook/title.html --- a/Cookbook/title.html Sun Oct 30 21:57:49 2011 +0000 +++ b/Cookbook/title.html Sun Oct 30 22:04:35 2011 +0000 @@ -2,13 +2,13 @@ - The Nominal Datatype Package + Isabelle Programming Tutorial -Isabelle Documentation Project +Isabelle Documentation Project

Isabelle Documentation Project

funded by the German Research Foundation (DFG)