Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Corrected URL
authorpaulson
Tue, 05 Mar 1996 17:22:47 +0100
changeset 1544 ad47d58ecb37
parent 1543 53fe25620a03
child 1545 61f5410b2824
Corrected URL
src/ZF/Coind/README.html file | annotate | diff | comparison | revisions 
--- 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>
isabelle