src/HOL/IMP/README.html
changeset 2796 c23e367e57be
parent 1923 e100f28ffc18
child 3124 1c0dfa7ebb72
--- 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>