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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
