# HG changeset patch
# User paulson
# Date 826042967 -3600
# Node ID ad47d58ecb375a876b63cfd0923f989b4ac7a189
# Parent  53fe25620a033bf874095d4e732f0c4414bfd896
Corrected URL

diff -r 53fe25620a03 -r ad47d58ecb37 src/ZF/Coind/README.html
--- a/src/ZF/Coind/README.html	Tue Mar 05 16:50:17 1996 +0100
+++ b/src/ZF/Coind/README.html	Tue Mar 05 17:22:47 1996 +0100
@@ -25,7 +25,7 @@
 <P>
 Frost's
 <A
-HREF="http://www.cl.cam.ac.uk:80/ftp/papers/reports/TR359-jf10008-co-induction-in-isabelle.dvi.gz">report</A> describes this development.
+HREF="http://www.cl.cam.ac.uk/Research/Reports/TR359-jf10008-co-induction-in-isabelle.dvi.gz">report</A> describes this development.
 <P>
 
 <HR>