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.

Viorel

On 16 Jun 2014, at 16:34, Lars Noschinski <noschinl at in.tum.de> 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/Isabelle2013-2.app/Isabelle/afp-2014-06-12/thys/LatticeProperties/Complete_Lattice_Prop.thy”)
> 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.