eliminated implicit use of prems; unified fact names: a, b, ab;
eliminated implicit use of prems;
unified fact names: a, b, ab;

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