src/HOL/IMP/README.html
changeset 2796 c23e367e57be
parent 1923 e100f28ffc18
child 3124 1c0dfa7ebb72
     1.1 --- a/src/HOL/IMP/README.html	Mon Mar 17 12:25:22 1997 +0100
     1.2 +++ b/src/HOL/IMP/README.html	Mon Mar 17 15:09:13 1997 +0100
     1.3 @@ -15,4 +15,7 @@
     1.4  An eminently readable description of this theory is found
     1.5  <A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/pubs/fsttcs96.html">
     1.6  here</A>.
     1.7 +<P>
     1.8 +A denotational semantics for IMP based on HOLCF is found
     1.9 +<A HREF="../../HOLCF/IMP/index.html">here</A>.
    1.10  </BODY></HTML>