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

Brian Huffman brianh at cs.pdx.edu
Sat Aug 27 00:52:31 CEST 2011

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:


More information about the isabelle-dev mailing list