Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added link to HOLCF/IMP
authornipkow
Mon, 17 Mar 1997 15:09:13 +0100
changeset 2796 c23e367e57be
parent 2795 d136fff43370
child 2797 54ca927b831b
Added link to HOLCF/IMP
src/HOL/IMP/README.html file | annotate | diff | comparison | revisions 
--- a/src/HOL/IMP/README.html	Mon Mar 17 12:25:22 1997 +0100
+++ b/src/HOL/IMP/README.html	Mon Mar 17 15:09:13 1997 +0100
@@ -15,4 +15,7 @@
 An eminently readable description of this theory is found
 <A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/pubs/fsttcs96.html">
 here</A>.
+<P>
+A denotational semantics for IMP based on HOLCF is found
+<A HREF="../../HOLCF/IMP/index.html">here</A>.
 </BODY></HTML>
isabelle