[isabelle] New AFP contribution: Coinductive
We are pleased to announce the first contribution in 2010:
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