AFP/CoreC++ is broken (already quite some time). The current situation: Isabelle/a70b89a3e02e AFP/a2c981ab8d39 CoreC++ FAILED *** Failed to load theory "CoreC++" (unresolved "Execute") *** No such predicate: "SubObj.path_via" *** At command "code_pred" (line 214 of "~/isabelle/afp-devel/thys/CoreC++/Execute.thy") Makarius