[isabelle-dev] AFP failures

Jasmin Blanchette jasmin.blanchette at gmail.com
Tue Nov 26 13:10:35 CET 2013

Am 26.11.2013 um 13:01 schrieb Dmitriy Traytel <traytel at in.tum.de>:

> 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!


More information about the isabelle-dev mailing list