[isabelle-dev] New (Co)datatypes: Status & Plan 2

Lawrence Paulson lp15 at cam.ac.uk
Mon Nov 18 23:28:16 CET 2013

Sounds good to me!

On 18 Nov 2013, at 17:58, Jasmin Christian Blanchette <jasmin.blanchette at gmail.com> wrote:

> Still, I want to make sure there is wide agreement before proceeding.

More information about the isabelle-dev mailing list