[isabelle-dev] Bad theory import "Main"

[Blanchette, J.C.]

Hi again,

I wrote:

> Something strange is happening with the repository (as per Isabelle/701bb74c5f97).

I nailed it down to change ae09b9f5980b. Before that change, Main is loaded normally. With this change, I get the error

	Bad theory import "Main"

Jasmin