Corrected dead link.
authornipkow
Mon Jul 13 17:46:20 1998 +0200 (1998-07-13)
changeset 5138b02dfb930bd9
parent 5137 60205b0de9b9
child 5139 013ea0f023e3
Corrected dead link.
src/HOLCF/IOA/README.html
     1.1 --- a/src/HOLCF/IOA/README.html	Mon Jul 13 16:43:57 1998 +0200
     1.2 +++ b/src/HOLCF/IOA/README.html	Mon Jul 13 17:46:20 1998 +0200
     1.3 @@ -22,7 +22,7 @@
     1.4     <li> A proof of a Network Transmission Protocol (NTP subdirectory) using the theory of IOA described above. For details see:<BR>
     1.5  
     1.6          Tobias Nipkow, Konrad Slind.
     1.7 -<A HREF=http://www4.informatik.tu-muenchen.de/~nipkow/pubs/ioa.html>
     1.8 +<A HREF=http://www4.informatik.tu-muenchen.de/~nipkow/pubs/types94.html>
     1.9  I/O Automata in Isabelle/HOL</A>. In <i>Types for Proofs and Programs</i>,
    1.10  LNCS 996, 1995, 101-119.
    1.11