[isabelle-dev] NEWS: New (co)datatype package is now in Main

[Andrei Popescu]

Dear Larry, 

>> Great news! I hope to see a brief announcement paper illustrating some of the new things that can be done. 

A (reminder) example of what you can define with the new package

is your type of hereditarily finite sets.  


Best regards, 

   Andrei 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20140123/3410c4c7/attachment-0002.html>