Re: [isabelle] Coinduction

On Sun, 29 Jun 2008, Richard Warburton wrote:

> I was wondering if someone knew of any good examples of papers using 
> coinduction within Isabelle/HOL?  If there were available theory files 
> relating to such papers it would also be most helpful.

Here are some theories using coinduction:

The second is based on an old version of the first, namely


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.