author | wenzelm |
Fri, 01 Dec 2000 19:42:05 +0100 | |
changeset 10567 | e7c9900cca4d |
parent 2799 | 1857b7e2e095 |
child 15283 | f21466450330 |
permissions | -rw-r--r-- |
2799 | 1 |
<HTML><HEAD><TITLE>HOLCF/IMP/README</TITLE></HEAD><BODY> |
2 |
||
3 |
<H2>IMP --- A <KBD>WHILE</KBD>-language and its Semantics</H2> |
|
4 |
||
5 |
This is the HOLCF-based denotational semantics of a simple |
|
6 |
<tt>WHILE</tt>-language. For a full description see <A |
|
7 |
HREF="../../HOL/IMP/index.html"> HOL/IMP</A>. |
|
8 |
</BODY></HTML> |