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 <[email protected]> wrote: > > Maybe there is an > > .isabelle/ROOTS > > file that mentions the AFP? > > - chris > > _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
