src/HOL/HOLCF/README.html

--- a/src/HOL/HOLCF/README.html	Sun Apr 29 23:08:27 2012 +0200
+++ b/src/HOL/HOLCF/README.html	Mon Apr 30 10:08:00 2012 +0200
@@ -23,6 +23,15 @@
 The most recent description of HOLCF is found here:
 
 <ul>
+  <li><a href="http://web.cecs.pdx.edu/~brianh/phdthesis.html">HOLCF '11: A Definitional Domain Theory for Verifying Functional Programs</a>, <br>
+  Brian Huffman.<br>
+  Ph.D. thesis, Portland State University.<br>
+  Year: 2012.
+</ul>
+
+Descriptions of earlier versions can also be found online:
+
+<ul>
   <li><a href="/~nipkow/pubs/jfp99.html">HOLCF = HOL+LCF</a>
 </ul>