[isabelle-dev] AFP failures

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

Previous message (by thread): [isabelle-dev] AFP failures
Next message (by thread): [isabelle-dev] AFP failures
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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!

Jasmin

Previous message (by thread): [isabelle-dev] AFP failures
Next message (by thread): [isabelle-dev] AFP failures
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list