src/ZF/Coind/README.html
changeset 1544 ad47d58ecb37
parent 1543 53fe25620a03
child 1546 5d531aa23006
equal deleted inserted replaced
1543:53fe25620a03 1544:ad47d58ecb37
    23 into values.
    23 into values.
    24 
    24 
    25 <P>
    25 <P>
    26 Frost's
    26 Frost's
    27 <A
    27 <A
    28 HREF="http://www.cl.cam.ac.uk:80/ftp/papers/reports/TR359-jf10008-co-induction-in-isabelle.dvi.gz">report</A> describes this development.
    28 HREF="http://www.cl.cam.ac.uk/Research/Reports/TR359-jf10008-co-induction-in-isabelle.dvi.gz">report</A> describes this development.
    29 <P>
    29 <P>
    30 
    30 
    31 <HR>
    31 <HR>
    32 
    32 
    33 <P>Last modified 5 March 1996
    33 <P>Last modified 5 March 1996