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


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"

results in "Bad theory file (file

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.