back to Vampire 9 -- Vampire 11 sometimes outputs really weird proofs
back to Vampire 9 -- Vampire 11 sometimes outputs really weird proofs

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle