diff -r eacaa07e9078 -r c81c770f47ef src/ZF/IMP/README.html
--- a/src/ZF/IMP/README.html Tue Mar 05 15:55:15 1996 +0100
+++ b/src/ZF/IMP/README.html Tue Mar 05 16:27:01 1996 +0100
@@ -1,6 +1,7 @@
-HOL/IMP/ReadMe
+
+HOL/IMP
-IMP --- A while-language and two semantics
+IMP -- A while-language and two semantics
The formalization of the denotational and operational semantics of
a simple while-language together with an equivalence proof between the two
@@ -15,10 +16,14 @@
year = 1993}.
-Some documentation is found
-
-here
+There is a
+
+report by Lötzbeyer and Sandner.
A much extended version of this development is found in
-HOL/IMP.
+HOL/IMP.
+
+
+
+Last modified 5 March 1996