diff -r 70142c708a91 -r 37b2df329532 Cookbook/main.html
--- a/Cookbook/main.html	Wed Oct 01 12:02:22 2014 +0100
+++ b/Cookbook/main.html	Mon Oct 20 00:42:47 2014 +0100
@@ -110,6 +110,12 @@
 
 <p>
 <i>
+My path towards HOL was from HOL Light, to HOL4, to Isabelle/HOL and
+the Cookbook was essential for the last step (Piotr Trojanek, University of Bristol, 2014)
+</i>
+
+<p>
+<i>
 ...and the Isabelle/ML Cookbook are valuable resources (Lars Hupel, 2014)
 </i>
 
@@ -190,7 +196,7 @@
 <p>
 <P>
 <a href="http://validator.w3.org/check/referer" target="_top">[Validate this page.]</a>
-<!-- hhmts start --> Last modified: Tue Aug  5 17:16:30 BST 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Mon Oct 20 00:42:10 BST 2014 <!-- hhmts end -->
 
 </body>
 </html>