[isabelle-dev] JinjaThreads

[Makarius]

This is the situation in Isabelle/0b071f72f330 and AFP/3085eb9e2bb9:

*** Failed to load theory "Execute_Main" (unresolved "Java2Jinja")
*** Failed to load theory "JinjaThreads" (unresolved "Execute_Main")
*** Dependency "member_i_i" -> "case_list" would result in module dependency cycle
*** At command "export_code" (line 18 of "~/isabelle/afp-devel/thys/JinjaThreads/Execute/Java2Jinja.thy")

Any ideas?


 	Makarius