tuned setup; simp_add_global, simp_del_global, simp_add_local, simp_del_local attributes;
tuned setup;
simp_add_global, simp_del_global, simp_add_local, simp_del_local attributes;

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