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