diff -r c8216c81d367 -r 614d59ffa1ad Cookbook/main.html
--- a/Cookbook/main.html	Thu Sep 14 12:24:51 2017 +0100
+++ b/Cookbook/main.html	Thu Sep 14 12:47:23 2017 +0100
@@ -13,6 +13,7 @@
 <tr>
 <td align="left">
 <H1>Aim</H1>
+ 
 
 There is already quite good documentation available for users to learn
 how to interact with Isabelle and to use it for proving
@@ -174,10 +175,10 @@
 is worthwhile. (Tom Ridge, University of Cambridge, 2009)</i>
 
 <p>
-<i>I learned from the tutorial how to deal with fresh variables and also which function to use
-for applying substitutions that are generated by unification.
+<i>I learned from the tutorial how to deal with fresh variables and also which function to use for applying substitutions that are generated by unification.
 (Lukas Bulwahn, TU Munich, 2009)</i>
 
+
 <p>
 <i> What a great resource! I wish I'd had this when I wrote my first
 parser in December 2008. (Timothy Bourke, UNSW Sydney, 2009)</i>
@@ -187,10 +188,12 @@
 </tbody>
 </table>
 </div>     
-
+ 
 <P>
-<a href="http://validator.w3.org/check/referer" target="_top">[Validate this page.]</a>
-<!-- hhmts start --> Last modified: Thu May  5 09:42:26 BST 2016 <!-- hhmts end -->
+  <a href="http://validator.w3.org/check/referer" target="_top">[Validate this page.]</a>
 
+Time-stamp: <Last changed 2017-09-14 12:47:06 by Christian Urban, cu>
+ 
 </body>
 </html>
+