[isabelle-dev] Duplicate theory??

Lars Hupel hupel at in.tum.de
Mon Apr 8 18:04:40 CEST 2019

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


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

More information about the isabelle-dev mailing list