[isabelle] Coinduction



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.

regards,

  Richard Warburton





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