[isabelle-dev] NEWS: New (co)datatype package is now in Main
uuomul at yahoo.com
Thu Jan 23 23:14:00 CET 2014
>> 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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the isabelle-dev