--- a/Cookbook/main.html	Sat Aug 02 16:35:56 2014 +0100
+++ b/Cookbook/main.html	Tue Aug 05 17:16:41 2014 +0100
@@ -108,6 +108,12 @@
 
 <H3><A NAME="readers"></A>What early readers said:</H3>
 
+<p>
+<i>
+...and the Isabelle/ML Cookbook are valuable resources (Lars Hupel, 2014)
+</i>
+
+<p>
 <i>
 GREAT!!! That's exactly what I was looking for! (Thomas Genet, ISTIC/IRISA, 2012)
 </i>
@@ -184,7 +190,7 @@
 <p>
 <P>
 <a href="http://validator.w3.org/check/referer" target="_top">[Validate this page.]</a>
-<!-- hhmts start --> Last modified: Sat Jun 15 09:05:54 EDT 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Tue Aug  5 17:16:30 BST 2014 <!-- hhmts end -->
 
 </body>
 </html>