# HG changeset patch
# User huffman
# Date 1335773280 -7200
# Node ID 3c54878ed67bb2654c8d5298db21303df5176310
# Parent  47d213b10fd7e86cc35e5ab50b448d2d241b545c
update references in HOLCF README

diff -r 47d213b10fd7 -r 3c54878ed67b 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>