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/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.