Made sure all lemmas now have names (especially so that certain of them can be removed from the simpset).
Made sure all lemmas now have names (especially so that certain of them
can be removed from the simpset).

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