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

[Brian Huffman]

On Thu, Aug 25, 2011 at 1:45 PM, Florian Haftmann
<florian.haftmann at informatik.tu-muenchen.de> wrote:
> HOL-Probability FAILED

This is now fixed in the main repo; the following changeset should be
merged back into isabelle_set:

http://isabelle.in.tum.de/repos/isabelle/rev/c10485a6a7af