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

[Makarius]

On Thu, 18 Aug 2011, Florian Haftmann wrote:

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

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.


 	Makarius