# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1407255401 -3600
# Node ID 7b5ec32a4c106d875b5ee09140633fdc1b645485
# Parent  7ad27eb1d1b81e9f353a0644d28b6861949e00ac
added comment

diff -r 7ad27eb1d1b8 -r 7b5ec32a4c10 Cookbook/main.html
--- 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>