krauss at in.tum.de
Tue Dec 27 10:52:11 CET 2011
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.
> 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 :-)
More information about the isabelle-dev