author | nipkow |
Mon, 19 Aug 1996 15:35:11 +0200 | |
changeset 1923 | e100f28ffc18 |
parent 1922 | ce495557ac33 |
child 1924 | 0f1a583457da |
--- 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>