# HG changeset patch
# User nipkow
# Date 858607753 -3600
# Node ID c23e367e57be16a9307ba68b83a2e97db9f2b2d8
# Parent  d136fff43370f8dc41bf70efedbf95254c480e37
Added link to HOLCF/IMP

diff -r d136fff43370 -r c23e367e57be src/HOL/IMP/README.html
--- a/src/HOL/IMP/README.html	Mon Mar 17 12:25:22 1997 +0100
+++ b/src/HOL/IMP/README.html	Mon Mar 17 15:09:13 1997 +0100
@@ -15,4 +15,7 @@
 An eminently readable description of this theory is found
 <A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/pubs/fsttcs96.html">
 here</A>.
+<P>
+A denotational semantics for IMP based on HOLCF is found
+<A HREF="../../HOLCF/IMP/index.html">here</A>.
 </BODY></HTML>