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

Alexander Krauss krauss at in.tum.de
Thu Aug 11 19:07:23 CEST 2011

> 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.


More information about the isabelle-dev mailing list