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

Andrei Popescu uuomul at yahoo.com
Thu Jan 23 23:14:00 CET 2014

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, 

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

More information about the isabelle-dev mailing list