Re: [isabelle] using AFP

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.