# HG changeset patch
# User wenzelm
# Date 1009468155 -3600
# Node ID 5292f393c64be71b2d75c9d26239fb9eba4fcc24
# Parent 7d2bca103101a98cb386be9eb54c183da66ec0a4
obsolete;
diff -r 7d2bca103101 -r 5292f393c64b src/HOL/IMP/README.html
--- a/src/HOL/IMP/README.html Thu Dec 27 16:46:52 2001 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,26 +0,0 @@
-
-HOL/IMP/README
-
-IMP--A WHILE-language and its Semantics
-
-The denotational, operational, and axiomatic semantics, a verification
-condition generator, and all the necessary soundness, completeness and
-equivalence proofs. Essentially a formalization of the first 100 pages
-of
-
-@book{Winskel, author = {Glynn Winskel},
-title = {The Formal Semantics of Programming Languages},
-publisher = {MIT Press}, year = 1993}
-
-
-An eminently readable description of this theory is found
-
-here.
-
-A denotational semantics for IMP based on HOLCF is found
-here.
-
-
-Last modified 7 May 1997
-
-