[isabelle-dev] NEWS
Alexander Krauss
krauss at in.tum.de
Tue Dec 27 10:52:11 CET 2011
Hi Florian,
On 12/26/2011 05:33 PM, Florian Haftmann wrote:
> 'set' is now a proper type constructor. Definitions mem_def and
> Collect_def have disappeared.
Good news.
> (https://isabelle.in.tum.de/isanotes/index.php/Having_'a_set_back%23Roaring_ahead).
> Do not expect stability before this list has boilt down.
Not stability, but a working isatest would be nice... I assume you have
a plan on how to achieve this :-)
Alex
More information about the isabelle-dev
mailing list