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

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Thu Aug 25 22:56:55 CEST 2011

Hi Jasmin,

>> HOL-Metis_Examples FAILED
>> HOL-Nitpick_Examples FAILED
> I can look into those things if and when it is decided to move to sets.

in case, thanks for the offer.  Please ignore any further announcements
of these sessions in intermediate reports ;-).




PGP available:

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20110825/3518cf7b/attachment.sig>

More information about the isabelle-dev mailing list