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

[Tjark Weber]

On Thu, 2011-08-18 at 09:34 +0200, Jasmin Christian Blanchette wrote:
> The maintenance load is extremely low. When it comes to the "REFUTE"
> exception, I can look at it if and when we decide to move back to
> sets.

I suspect that Jasmin will have no trouble fixing this, but otherwise
I'd be happy to look into it as well.

Kind regards,
Tjark