"no_atp" fact that leads to unsound proofs in Sledgehammer
"no_atp" fact that leads to unsound proofs in Sledgehammer

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