Am 26.11.2013 um 13:01 schrieb Dmitriy Traytel <[email protected]>: > Zorn is supposed to move to Main together with the new (co)datatype package. > I guess it was removed from Library only by mistake.
Yes, it should definitely be in Library for now. My change 483131676087 took it out by mistake. Johannes, thanks for the quick diagnosis and fix! Jasmin _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
