src/ZF/Coind/README.html
changeset 1544 ad47d58ecb37
parent 1543 53fe25620a03
child 1546 5d531aa23006
--- 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>