[isabelle-dev] AFP failures
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