# HG changeset patch
# User nipkow
# Date 900344780 -7200
# Node ID b02dfb930bd9b823a721d1b71952a1c14883219e
# Parent  60205b0de9b949b42fe44b0333c94ca26a407c95
Corrected dead link.

diff -r 60205b0de9b9 -r b02dfb930bd9 src/HOLCF/IOA/README.html
--- a/src/HOLCF/IOA/README.html	Mon Jul 13 16:43:57 1998 +0200
+++ b/src/HOLCF/IOA/README.html	Mon Jul 13 17:46:20 1998 +0200
@@ -22,7 +22,7 @@
    <li> A proof of a Network Transmission Protocol (NTP subdirectory) using the theory of IOA described above. For details see:<BR>
 
         Tobias Nipkow, Konrad Slind.
-<A HREF=http://www4.informatik.tu-muenchen.de/~nipkow/pubs/ioa.html>
+<A HREF=http://www4.informatik.tu-muenchen.de/~nipkow/pubs/types94.html>
 I/O Automata in Isabelle/HOL</A>. In <i>Types for Proofs and Programs</i>,
 LNCS 996, 1995, 101-119.