src/HOL/IMP/README.html
changeset 2796 c23e367e57be
parent 1923 e100f28ffc18
child 3124 1c0dfa7ebb72
equal deleted inserted replaced
2795:d136fff43370 2796:c23e367e57be
    13 </PRE>
    13 </PRE>
    14 <P>
    14 <P>
    15 An eminently readable description of this theory is found
    15 An eminently readable description of this theory is found
    16 <A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/pubs/fsttcs96.html">
    16 <A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/pubs/fsttcs96.html">
    17 here</A>.
    17 here</A>.
       
    18 <P>
       
    19 A denotational semantics for IMP based on HOLCF is found
       
    20 <A HREF="../../HOLCF/IMP/index.html">here</A>.
    18 </BODY></HTML>
    21 </BODY></HTML>