diff -r ae516c20c5f1 -r 4dac76eb27d9 Cookbook/title.html --- a/Cookbook/title.html Sat Jan 28 06:40:19 2017 +0000 +++ b/Cookbook/title.html Sat Jan 28 07:17:00 2017 +0000 @@ -4,7 +4,7 @@ Isabelle Programming Tutorial - +