AFP broken

[Makarius]

On 6/1/25 14:12, Florian Haftmann wrote:
> isabelle: 0a3d61228714 tip
> afp: fe4648e3837e+ tip

I see a total existence failure here:

changeset:   15733:7262c283575c
tag:         tip
user:        Balazs Toth <balazs.toth.isny at gmail.com>
date:        Fri May 30 19:10:18 2025 +0200
summary:     Superposition_Calculus: Adapt ground critical pairs from 
First_Order_Rewriting + Make calculus independent of term data types


Using its parent works: Isabelle/06aac7eaec29 + AFP/b227c97a92f5.


	Makarius