[isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation
florian.haftmann at informatik.tu-muenchen.de
Thu Aug 25 22:56:55 CEST 2011
>> 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 ;-).
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 262 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev