[isabelle-dev] Duplicate theory??

[Lawrence Paulson]

You are right, there is, thanks.

But my problems aren’t over yet. Updating afp_devel allows things to work, but *only* if I delete Countable_Set_Type from Library.thy.

Larry

> On 8 Apr 2019, at 12:26, Christian Sternagel <c.sternagel at gmail.com> wrote:
> 
> Maybe there is an
> 
>  .isabelle/ROOTS
> 
> file that mentions the AFP?
> 
> - chris
> 
>