[isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation

Makarius makarius at sketis.net
Thu Aug 18 15:07:08 CEST 2011

On Thu, 18 Aug 2011, Florian Haftmann wrote:

> envisaged working plan
> ----------------------
> a) general
> b) elimination of set/pred mixture
> c) consolidation

This looks quite reasonable to me: the parts a, b, c should be easy to 
consolidate for the release towards the end of the summer.


More information about the isabelle-dev mailing list