diff -r 8355bfc8d35d -r 19d64368e92d Cookbook/index.html --- a/Cookbook/index.html Sun Oct 30 21:57:49 2011 +0000 +++ b/Cookbook/index.html Sun Oct 30 22:04:35 2011 +0000 @@ -3,7 +3,7 @@ - Nominal Methods Group + Isabelle Programming Tutorial