[isabelle-dev] NEWS: New (co)datatype package is now in Main
jasmin.blanchette at gmail.com
Thu Jan 23 15:01:32 CET 2014
Am 23.01.2014 um 14:38 schrieb Lawrence Paulson <lp15 at cam.ac.uk>:
> Great news! I hope to see a brief announcement paper illustrating some of the new things that can be done. Or did you publish that last year?
I believe you are on the committee of a conference where such a paper has been submitted. Otherwise, you can always find the latest PDF on my website . I'm not sure it qualifies as brief, but each section is rather brief.
As usual, if you (or anybody else on the mailing list) have suggestions for improving the paper (ideally without making it longer), please let us know.
More information about the isabelle-dev