Faits: Faits: A. Par arrêt du 28 mars 2003, la Cour correctionnelle sans jury du canton de Genève a notamment acquitté A._, B._ et C._ de l'accusation de tentative de contrainte sexuelle en commun et - pour les deux premiers cités - de tentative de viol en commun. La cour a retenu en substance que les déclarations de la victime étaient sujettes à caution. Par arrêt du 17 octobre 2003, la Cour de cassation genevoise, composée du Président Y._ et des Juges X._ et Z._, a admis le pourvoi formé par la victime. Les témoins, ainsi que les accusés eux-mêmes, avaient reconnu que la victime n'était pas consentante et se débattait. Il n'était donc "juridiquement pas soutenable de retenir que les accusés, dont le comportement présent[ait] un caractère sexuel indiscutable, pouvaient douter du fait même qu'ils exerçaient de la contrainte" à l'égard de la victime. La Cour correctionnelle ne pouvait donc pas prononcer l'acquittement sans tomber dans l'arbitraire. Le 15 janvier 2004, le Tribunal fédéral a déclaré irrecevables les recours de droit public et les pourvois en nullité formés contre cet arrêt, en raison de son caractère incident. Le 15 janvier 2004, le Tribunal fédéral a déclaré irrecevables les recours de droit public et les pourvois en nullité formés contre cet arrêt, en raison de son caractère incident. B. Statuant à nouveau par arrêt du 4 mai 2004, la Cour correctionnelle sans jury a condamné A._, B._ et C._ à six mois d'emprisonnement avec sursis, pour tentative de contrainte sexuelle en commun. La victime avait clairement marqué son refus, et les accusés ne pouvaient continuer leurs agissements sous prétexte qu'elle avait manifesté antérieurement un certain degré de participation. Les condamnés se sont à nouveau pourvus en cassation. Ils ont demandé, le 7 avril 2005, la récusation de deux des trois membres de la Cour appelée à statuer, soit le Président Y._ et la Juge X._, doutant de leur impartialité en raison de leur participation à la précédente décision. Par décision du 30 avril 2005, le Plenum de la Cour de cassation - à l'exception des juges dont la récusation était demandée - a rejeté la demande. A l'exemple du tribunal appelé à statuer à nouveau après cassation de sa décision, les juges n'étaient pas prévenus par leur seule participation à un arrêt rendu en défaveur des intéressés. En l'absence d'un indice concret de partialité, l'acquiescement des magistrats à la demande de récusation n'était pas déterminant. On ignorait dans quel sens s'était prononcé chaque juge, et le premier arrêt, qualifié d'incident par le Tribunal fédéral, ne se prononçait pas de manière définitive sur la réalisation des infractions en cause. Par décision du 30 avril 2005, le Plenum de la Cour de cassation - à l'exception des juges dont la récusation était demandée - a rejeté la demande. A l'exemple du tribunal appelé à statuer à nouveau après cassation de sa décision, les juges n'étaient pas prévenus par leur seule participation à un arrêt rendu en défaveur des intéressés. En l'absence d'un indice concret de partialité, l'acquiescement des magistrats à la demande de récusation n'était pas déterminant. On ignorait dans quel sens s'était prononcé chaque juge, et le premier arrêt, qualifié d'incident par le Tribunal fédéral, ne se prononçait pas de manière définitive sur la réalisation des infractions en cause. C. A._ forme un recours de droit public contre cette dernière décision, dont il demande l'annulation. Il requiert l'assistance judiciaire. La Cour de cassation, ainsi que les magistrats visés par la demande de récusation, se réfèrent à l'arrêt attaqué. Le Procureur général s'en rapporte à justice.