redo Sledgehammer proofs (and get rid of "neg_clausify")
redo Sledgehammer proofs (and get rid of "neg_clausify")

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