[isabelle] New AFP contribution: Coinductive



We are pleased to announce the first contribution in 2010:

Coinductive
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.

http://afp.sourceforge.net/entries/Coinductive.shtml





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