[isabelle] New AFP contribution: Coinductive

We are pleased to announce the first contribution in 2010:

Andreas Lochbihler

This is a collection of theories defining lazy (finite and infinite)
lists and a library of functions on them coinductively. Lazy natural
numbers are covered as well. The initial theory was contributed by
Paulson and Wenzel. Further contributions are welcome.


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