[isabelle-dev] Duplicate theory??

[Lars Hupel]

> It's worse. The entire build doesn't work, but that's not your fault. In
> fact, this is the first faulty changeset:
> 
> <https://isabelle.in.tum.de/repos/isabelle/rev/3a1b2d8c89aa>

I have pushed an update that added some session imports to the AFP:

<https://bitbucket.org/isa-afp/afp-devel/commits/440a7a60b0dc560def3861aa9899c97d0f31b23b>

This should hopefully bring our build status back from "catastrophic
red" to "red".