# HG changeset patch
# User nipkow
# Date 858609506 -3600
# Node ID 1857b7e2e0958e9f95354726902bd9592564cd07
# Parent f84be65745b22462bcc0c468d25d801cab24559e
*** empty log message ***
diff -r f84be65745b2 -r 1857b7e2e095 src/HOLCF/IMP/README.html
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOLCF/IMP/README.html Mon Mar 17 15:38:26 1997 +0100
@@ -0,0 +1,8 @@
+HOLCF/IMP/README
+
+IMP --- A WHILE-language and its Semantics
+
+This is the HOLCF-based denotational semantics of a simple
+WHILE-language. For a full description see HOL/IMP.
+