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

Tjark Weber webertj at in.tum.de
Thu Aug 18 21:45:45 CEST 2011

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,

More information about the isabelle-dev mailing list