[isabelle-dev] Bad theory import "Main"

Blanchette, J.C. j.c.blanchette at vu.nl
Sat Apr 22 12:11:15 CEST 2017

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"


More information about the isabelle-dev mailing list