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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and