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