[isabelle-dev] NEWS

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Tue Aug 28 17:40:55 CEST 2012

* HOL/Codatatype: New (co)datatype package with support for mixed,
nested recursion and interesting non-free datatypes.

* HOL/Ordinals_and_Cardinals: Theories of ordinals and cardinals
(supersedes the AFP entry of the same name).

Kudos to Andrei and Dmitriy!


More information about the isabelle-dev mailing list