[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