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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev