Re: [isabelle] find_theorems and locales



> It is indeed arguable why locale predicates must be concealed et all,
> but I guess this has something to do with sledgehammer!?

I doubt it has anything to do with Sledgehammer.

Jasmin





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.