[isabelle-dev] Duplicate theory??

[Lars Hupel]

> I assumed that HOL itself was broken too. Is that not so?

No, it wasn't. The error happened only because some ROOT files in the 
AFP weren't updated.

> I’m wondering how to test my changes to HOL itself (never mind the 
> AFP).

Try testboard again. It should work now. You'll have to push a new 
changeset, which you can produce by using "hg commit --amend".