[isabelle] Isabelle/{jEdit,Eclipse} problem with importing files



Hi,

I have the same error in Isabelle/jEdit and Isabelle/Eclipse (therefore,
I think, it lies in the layer beneath):

Just typing

theory Scratch
imports Main "~~/src/HOL/Library/RBT"
begin

results in "Bad theory file (file
"file:/home/necoro/isabelle/Isabelle2013/src/HOL/Library/RBT.thy")

If I (somehow) manage to trick jEdit into a reload (don't know how to do
it with Eclipse), it eventually is able to load it.

- René
-- 
René Neumann

Institut für Informatik (I7)
Technische Universität München
Boltzmannstr. 3
85748 Garching b. München

Tel: +49-89-289-17232
Office: MI 03.11.055

Attachment: smime.p7s
Description: S/MIME Kryptografische Unterschrift



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