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

[Alexander Krauss]

> Florian: Is your modified Isabelle repo available for cloning, so we
> can play with it? If so, I might be able to find an answer to my own
> question...

You can clone directly from the http:// location:

hg clone http://www4.in.tum.de/~haftmann/cgi-bin/hgweb.cgi/isabelle_set

or, faster, clone isabelle locally and pull the extra revision.

Alex