robust writing of MaSh state -- better drop learning data than cause other problems in Sledgehammer
robust writing of MaSh state -- better drop learning data than cause other problems in Sledgehammer

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