Sourceforge is presently in down due to serious technical problems. This is relevant for afp-devel. Here is my own clone of it: https://bitbucket.org/makarius/afp-devel In particular afp-devel/2aa8b0c283eb corresponds to Isabelle/59817f489ce3 with its changes on resolve_tac. Makarius