diff -r f58719b49cae -r 1c0dfa7ebb72 src/HOL/IMP/README.html
--- a/src/HOL/IMP/README.html Wed May 07 13:50:18 1997 +0200
+++ b/src/HOL/IMP/README.html Wed May 07 13:50:52 1997 +0200
@@ -1,6 +1,7 @@
-HOL/IMP/ReadMe
+
+HOL/IMP/README
-IMP --- A WHILE-language and its Semantics
+IMP--A WHILE-language and its Semantics
The denotational, operational, and axiomatic semantics, a verification
condition generator, and all the necessary soundness, completeness and
@@ -18,4 +19,8 @@
A denotational semantics for IMP based on HOLCF is found
here.
+
+
+Last modified 7 May 1997
+