Re: [isabelle] JEdit IDE shows error when loading Arith.thy



On 28.10.2011 04:01, John Nicol wrote:
5.  The first error is under "theory Arith imports Univ begin".  The error is:
    Missing theory (file "/home/jnicol/isabelle/Isabelle2011-1/src/ZF/Univ.thy")
However, that file exists at that path.

This probably means Univ.thy could not be loaded because of some error. Have a look at the "theory status" tab on the bottom.

  -- Lars





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