update references in HOLCF README
authorhuffman
Mon Apr 30 10:08:00 2012 +0200 (2012-04-30)
changeset 478393c54878ed67b
parent 47838 47d213b10fd7
child 47840 732ea1f08e3f
update references in HOLCF README
src/HOL/HOLCF/README.html
     1.1 --- a/src/HOL/HOLCF/README.html	Sun Apr 29 23:08:27 2012 +0200
     1.2 +++ b/src/HOL/HOLCF/README.html	Mon Apr 30 10:08:00 2012 +0200
     1.3 @@ -23,6 +23,15 @@
     1.4  The most recent description of HOLCF is found here:
     1.5  
     1.6  <ul>
     1.7 +  <li><a href="http://web.cecs.pdx.edu/~brianh/phdthesis.html">HOLCF '11: A Definitional Domain Theory for Verifying Functional Programs</a>, <br>
     1.8 +  Brian Huffman.<br>
     1.9 +  Ph.D. thesis, Portland State University.<br>
    1.10 +  Year: 2012.
    1.11 +</ul>
    1.12 +
    1.13 +Descriptions of earlier versions can also be found online:
    1.14 +
    1.15 +<ul>
    1.16    <li><a href="/~nipkow/pubs/jfp99.html">HOLCF = HOL+LCF</a>
    1.17  </ul>
    1.18