>> '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 :-)
There is a failure in Nitpick_Examples which is neither reproducible on macbroy2 nor my local machine: http://isabelle.in.tum.de/reports/Isabelle/report/14fe4e1bd31f4a9fab112f57669a1de5 Maybe Jasmin can comment on this? Florian -- Home: http://www.in.tum.de/~haftmann PGP available: http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
