[isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation – feasibility study
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
I suspect that Jasmin will have no trouble fixing this, but otherwise
I'd be happy to look into it as well.
More information about the isabelle-dev