Re: [isabelle] using AFP



On 16.06.2014 15:58, Viorel Preoteasa wrote:
> 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.
Does I/jEdit open the Complete_Lattice_Prop.thy file? If yes, is there
any error in this file (have a look at the theories panel)?

  -- Lars




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