[isabelle-dev] Duplicate theory??

Lars Hupel hupel at in.tum.de
Mon Apr 8 18:19:44 CEST 2019

> 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".

More information about the isabelle-dev mailing list