diff -r 7c3f6f4f2f80 -r da83124c2962 Cookbook/title.html --- a/Cookbook/title.html Sun Oct 30 22:11:24 2011 +0000 +++ b/Cookbook/title.html Sun Oct 30 22:14:01 2011 +0000 @@ -5,19 +5,6 @@ Isabelle Programming Tutorial -