took out spurious attributes (no need for several code equations / simps for thesame constants)
took out spurious attributes (no need for several code equations / simps for thesame constants)

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