Re: [isabelle] using AFP

This is in Isabelle/jEdit. I tried to save the file. I also
tried to close Isabelle and open it again, but I get the
same error.


On 16 Jun 2014, at 16:34, Lars Noschinski <noschinl at> wrote:

> On 14.06.2014 11:14, Viorel Preoteasa wrote:
>> I am trying to import some theory from AFP, but I get the following error:
>> Bad theory (file "/Applications/”)
> Is this in Isabelle/jEdit? Have you tried saving the file after adding
> the import?

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