# HG changeset patch
# User nipkow
# Date 840461711 -7200
# Node ID e100f28ffc18e5132f8d6ec33cba48b0396c3c9c
# Parent  ce495557ac3374ad4fdd01450606e2201c2efaff
updated html-link

diff -r ce495557ac33 -r e100f28ffc18 src/HOL/IMP/README.html
--- a/src/HOL/IMP/README.html	Mon Aug 19 13:06:30 1996 +0200
+++ b/src/HOL/IMP/README.html	Mon Aug 19 15:35:11 1996 +0200
@@ -13,6 +13,6 @@
 </PRE>
 <P>
 An eminently readable description of this theory is found
-<A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/pubs/imp.html">
+<A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/pubs/fsttcs96.html">
 here</A>.
 </BODY></HTML>