[isabelle-dev] Duplicate theory??
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:
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