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 @@

Frost's report describes this development. +HREF="http://www.cl.cam.ac.uk/Research/Reports/TR359-jf10008-co-induction-in-isabelle.dvi.gz">report describes this development.