Deleted obsolete rewrites (they are now in HOL/simpdata)
Deleted obsolete rewrites (they are now in HOL/simpdata)

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